GUEST_INTR_STATE_STI
if (interruptibility & GUEST_INTR_STATE_STI)
interruptibility &= ~(GUEST_INTR_STATE_STI | GUEST_INTR_STATE_MOV_SS);
interruptibility |= GUEST_INTR_STATE_STI;
vmcs_read32(GUEST_INTERRUPTIBILITY_INFO) & GUEST_INTR_STATE_STI) {
(GUEST_INTR_STATE_MOV_SS | GUEST_INTR_STATE_STI |
(GUEST_INTR_STATE_STI | GUEST_INTR_STATE_MOV_SS));
(GUEST_INTR_STATE_STI | GUEST_INTR_STATE_MOV_SS)))