Lines Matching defs:interruptibility
1570 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
1573 if (interruptibility & GUEST_INTR_STATE_STI)
1575 if (interruptibility & GUEST_INTR_STATE_MOV_SS)
1584 u32 interruptibility = interruptibility_old;
1586 interruptibility &= ~(GUEST_INTR_STATE_STI | GUEST_INTR_STATE_MOV_SS);
1589 interruptibility |= GUEST_INTR_STATE_MOV_SS;
1591 interruptibility |= GUEST_INTR_STATE_STI;
1593 if ((interruptibility != interruptibility_old))
1594 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility);
7355 * corresponding interruptibility bits in the guest state. Otherwise