Searched refs:interruptibility_old (Results 1 – 1 of 1) sorted by relevance
1557 u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO); in vmx_set_interrupt_shadow() local1558 u32 interruptibility = interruptibility_old; in vmx_set_interrupt_shadow()1567 if ((interruptibility != interruptibility_old)) in vmx_set_interrupt_shadow()