NMI_BLOCKING
ASSERT0(vmcs_read(VMCS_GUEST_INTERRUPTIBILITY) & NMI_BLOCKING);
if ((gi & (HWINTR_BLOCKING | NMI_BLOCKING)) == 0) {