Lines Matching refs:interruptibility
1557 u32 interruptibility = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
1560 if (interruptibility & GUEST_INTR_STATE_STI)
1562 if (interruptibility & GUEST_INTR_STATE_MOV_SS)
1571 u32 interruptibility = interruptibility_old;
1573 interruptibility &= ~(GUEST_INTR_STATE_STI | GUEST_INTR_STATE_MOV_SS);
1576 interruptibility |= GUEST_INTR_STATE_MOV_SS;
1578 interruptibility |= GUEST_INTR_STATE_STI;
1580 if ((interruptibility != interruptibility_old))
1581 vmcs_write32(GUEST_INTERRUPTIBILITY_INFO, interruptibility);
7381 * corresponding interruptibility bits in the guest state. Otherwise