Searched refs:interruptibility_old (Results 1 – 1 of 1) sorted by relevance
1474 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow() local1475 u32 interruptibility = interruptibility_old; in vmx_set_interrupt_shadow()1484 if ((interruptibility != interruptibility_old)) in vmx_set_interrupt_shadow()