Searched refs:PINBASED_CTLS_ONE_SETTING (Results 1 – 1 of 1) sorted by relevance
75 #define PINBASED_CTLS_ONE_SETTING \ macro723 PINBASED_CTLS_ONE_SETTING, in vmx_init()2346 CTASSERT((PINBASED_CTLS_ONE_SETTING & PINBASED_VIRTUAL_NMI) != 0); in vmx_exit_process()2347 CTASSERT((PINBASED_CTLS_ONE_SETTING & PINBASED_NMI_EXITING) != 0); in vmx_exit_process()