pic_ioport_write  464 arch/x86/kvm/i8259.c 		pic_ioport_write(&s->pics[0], addr, data);
pic_ioport_write  470 arch/x86/kvm/i8259.c 		pic_ioport_write(&s->pics[1], addr, data);