PROCBASED2_VIRTUAL_INTERRUPT_DELIVERY
PROCBASED2_VIRTUAL_INTERRUPT_DELIVERY);
proc2 & PROCBASED2_VIRTUAL_INTERRUPT_DELIVERY) {