VMCS_GUEST_INTERRUPTIBILITY
VMCS_GUEST_INTERRUPTIBILITY, &u64);
ASSERT0(vmcs_read(VMCS_GUEST_INTERRUPTIBILITY) & NMI_BLOCKING);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);
if ((vmcs_read(VMCS_GUEST_INTERRUPTIBILITY) & HWINTR_BLOCKING) != 0 ||
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
uint64_t gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);