pic_set_irq1      114 arch/x86/kvm/i8259.c 		pic_set_irq1(&s->pics[0], 2, 1);
pic_set_irq1      115 arch/x86/kvm/i8259.c 		pic_set_irq1(&s->pics[0], 2, 0);
pic_set_irq1      134 arch/x86/kvm/i8259.c 		pic_set_irq1(&s->pics[irq >> 3], irq & 7, level);