Searched refs:VMX_MISC_ACTIVITY_WAIT_SIPI (Results 1 – 2 of 2) sorted by relevance
124 #define VMX_MISC_ACTIVITY_WAIT_SIPI 0x00000100 macro
6907 VMX_MISC_ACTIVITY_WAIT_SIPI; in nested_vmx_setup_ctls_msrs()