GUEST_INTR_STATUS
vmcs_write16(GUEST_INTR_STATUS,
status = vmcs_read16(GUEST_INTR_STATUS);
vmcs_write16(GUEST_INTR_STATUS, status);
vmcs12->guest_intr_status = vmcs_read16(GUEST_INTR_STATUS);
case GUEST_INTR_STATUS:
FIELD(GUEST_INTR_STATUS, guest_intr_status),
SHADOW_FIELD_RW(GUEST_INTR_STATUS, guest_intr_status)
vmcs_write16(GUEST_INTR_STATUS, 0);
vmcs_read16(GUEST_INTR_STATUS));
u16 status = vmcs_read16(GUEST_INTR_STATUS);
status = vmcs_read16(GUEST_INTR_STATUS);
vmcs_write16(GUEST_INTR_STATUS, status);
status = vmcs_read16(GUEST_INTR_STATUS);
vmcs_write16(GUEST_INTR_STATUS, status);
return vmcs_read16(GUEST_INTR_STATUS) & 0xff;
vmwrite(GUEST_INTR_STATUS, 0);