SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY
SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY;
SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY |
if (exec_control & SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY)
SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY |
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY);
SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY);
SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY))
SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY,
SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY);
if (secondary_exec_control & SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY)
if (secondary_exec_control & SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY) {
SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY | \