Searched refs:PINBASED_CTLS_ONE_SETTING (Results 1 – 1 of 1) sorted by relevance
88 #define PINBASED_CTLS_ONE_SETTING \ macro514 PINBASED_CTLS_ONE_SETTING, in vmx_init()2200 CTASSERT((PINBASED_CTLS_ONE_SETTING & PINBASED_VIRTUAL_NMI) != 0); in vmx_exit_process()2201 CTASSERT((PINBASED_CTLS_ONE_SETTING & PINBASED_NMI_EXITING) != 0); in vmx_exit_process()3929 MSR_VMX_TRUE_PINBASED_CTLS, PINBASED_CTLS_ONE_SETTING, in vmx_x86_supported()