HelenOS sources

pic_ack_interrupt   51 kernel/arch/ppc32/include/arch/drivers/pic.h extern void pic_ack_interrupt(void *, inr_t);
pic_ack_interrupt   47 kernel/arch/ppc32/src/drivers/pic.c 	*cir = pic_ack_interrupt;
pic_ack_interrupt  143 kernel/arch/ppc32/src/interrupt.c 			pic_ack_interrupt(NULL, inum);