dm_request_for_irq_injection 8033 arch/x86/kvm/x86.c 		dm_request_for_irq_injection(vcpu) &&
dm_request_for_irq_injection 8405 arch/x86/kvm/x86.c 		if (dm_request_for_irq_injection(vcpu) &&