interruptibility_old 1452 arch/x86/kvm/vmx/vmx.c 	u32 interruptibility_old = vmcs_read32(GUEST_INTERRUPTIBILITY_INFO);
interruptibility_old 1453 arch/x86/kvm/vmx/vmx.c 	u32 interruptibility = interruptibility_old;
interruptibility_old 1462 arch/x86/kvm/vmx/vmx.c 	if ((interruptibility != interruptibility_old))