pic_irq_request    40 arch/x86/kvm/i8259.c static void pic_irq_request(struct kvm *kvm, int level);
pic_irq_request   176 arch/x86/kvm/i8259.c 	pic_irq_request(s->kvm, irq >= 0);