Searched refs:VMX_EXECUTIVE_VMCS_PTR_FULL (Results 1 – 3 of 3) sorted by relevance
45 #define VMX_EXECUTIVE_VMCS_PTR_FULL 0x0000200cU macro
457 exec_vmwrite64(VMX_EXECUTIVE_VMCS_PTR_FULL, 0UL); in init_exec_ctrl()
276 VMX_EXECUTIVE_VMCS_PTR_FULL,
Completed in 8 milliseconds