PIN_BASED_POSTED_INTR
return vmcs_config.pin_based_exec_ctrl & PIN_BASED_POSTED_INTR;
exec_control &= ~PIN_BASED_POSTED_INTR;
pin_controls_clearbit(vmx, PIN_BASED_POSTED_INTR);
(enable_apicv ? PIN_BASED_POSTED_INTR : 0);
return vmcs12->pin_based_vm_exec_control & PIN_BASED_POSTED_INTR;
td_vmcs_setbit32(tdx, PIN_BASED_VM_EXEC_CONTROL, PIN_BASED_POSTED_INTR);
_pin_based_exec_control &= ~PIN_BASED_POSTED_INTR;
pin_based_exec_ctrl &= ~PIN_BASED_POSTED_INTR;
if (pin_based_exec_ctrl & PIN_BASED_POSTED_INTR)
PIN_BASED_POSTED_INTR | \