Lines Matching defs:interruptibility
994 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
997 if (interruptibility & GUEST_INTR_STATE_STI)
999 if (interruptibility & GUEST_INTR_STATE_MOV_SS)
1008 u32 interruptibility = interruptibility_old;
1010 interruptibility &= ~(GUEST_INTR_STATE_STI | GUEST_INTR_STATE_MOV_SS);
1013 interruptibility |= GUEST_INTR_STATE_MOV_SS;
1015 interruptibility |= GUEST_INTR_STATE_STI;
1017 if ((interruptibility != interruptibility_old))
1018 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility);
3931 * corresponding interruptibility bits in the guest state. Otherwise