Searched refs:PAGE_SHIFT_4K (Results 1 – 2 of 2) sorted by relevance
265 #define PAGE_SHIFT_4K 12 macro283 2ul << (DIRTY_MEM_BITS - PAGE_SHIFT_4K), in run_test()
14 #define PAGE_SHIFT_4K 12 macro218 .address = vmx->eptp_gpa >> PAGE_SHIFT_4K, in init_vmcs_control_fields()