Searched refs:VMX_PINBASED_CTLS_POST_IRQ (Results 1 – 3 of 3) sorted by relevance
278 value32 |= VMX_PINBASED_CTLS_POST_IRQ; in init_exec_ctrl()617 value32 &= ~VMX_PINBASED_CTLS_POST_IRQ; in switch_apicv_mode_x2apic()
292 #define VMX_PINBASED_CTLS_POST_IRQ (1U<<7U) macro
267 if (is_ctrl_setting_allowed(msr_val, VMX_PINBASED_CTLS_POST_IRQ)) { in detect_apicv_cap()
Completed in 7 milliseconds