pending_vec      8869 arch/x86/kvm/x86.c 	int pending_vec, max_bits, idx;
pending_vec      8920 arch/x86/kvm/x86.c 	pending_vec = find_first_bit(
pending_vec      8922 arch/x86/kvm/x86.c 	if (pending_vec < max_bits) {
pending_vec      8923 arch/x86/kvm/x86.c 		kvm_queue_interrupt(vcpu, pending_vec, false);
pending_vec      8924 arch/x86/kvm/x86.c 		pr_debug("Set back pending irq %d\n", pending_vec);