max_irr_updated  6137 arch/x86/kvm/vmx/vmx.c 	bool max_irr_updated;
max_irr_updated  6147 arch/x86/kvm/vmx/vmx.c 		max_irr_updated =
max_irr_updated  6158 arch/x86/kvm/vmx/vmx.c 		if (is_guest_mode(vcpu) && max_irr_updated) {