Searched refs:VMX_GUEST_PDPTE0_FULL (Results 1 – 4 of 4) sorted by relevance
95 #define VMX_GUEST_PDPTE0_FULL 0x0000280AU macro
147 exec_vmwrite64(VMX_GUEST_PDPTE0_FULL, pdpte[0]); in load_pdptrs()
290 VMX_GUEST_PDPTE0_FULL,
414 ret = VMX_GUEST_PDPTE0_FULL; in get_vmcs_field()
Completed in 717 milliseconds