TERTIARY_EXEC_IPI_VIRT
return vmcs_config.cpu_based_3rd_exec_ctrl & TERTIARY_EXEC_IPI_VIRT;
tertiary_exec_controls_changebit(vmx, TERTIARY_EXEC_IPI_VIRT,
exec_control &= ~TERTIARY_EXEC_IPI_VIRT;
(TERTIARY_EXEC_IPI_VIRT)