HelenOS sources

pic_enable_interrupt   49 kernel/arch/ppc32/include/arch/drivers/pic.h extern void pic_enable_interrupt(inr_t);
pic_enable_interrupt  251 kernel/arch/ppc32/src/ppc32.c 				pic_enable_interrupt(IRQ_CUDA);
HelenOS homepage, sources at GitHub