GUEST_INTERRUPTIBILITY_INFO
EVMCS1_FIELD(GUEST_INTERRUPTIBILITY_INFO, guest_interruptibility_info,
vmcs_write32(GUEST_INTERRUPTIBILITY_INFO,
vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
FIELD(GUEST_INTERRUPTIBILITY_INFO, guest_interruptibility_info),
SHADOW_FIELD_RW(GUEST_INTERRUPTIBILITY_INFO, guest_interruptibility_info)
u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility);
vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, 0);
vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_STI) {
masked = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_NMI;
vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO,
vmcs_clear_bits(GUEST_INTERRUPTIBILITY_INFO,
return (vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) &
(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) &
(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) &
vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO, GUEST_INTR_STATE_NMI);
vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO,
vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO,
vmcs_read32(GUEST_INTERRUPTIBILITY_INFO),
vmcs_set_bits(GUEST_INTERRUPTIBILITY_INFO,
!(vmcs_read32(GUEST_INTERRUPTIBILITY_INFO)
case GUEST_INTERRUPTIBILITY_INFO:
case GUEST_INTERRUPTIBILITY_INFO:
vmwrite(GUEST_INTERRUPTIBILITY_INFO, 0);
GUEST_ASSERT(!vmreadz(GUEST_INTERRUPTIBILITY_INFO));