pic_enable_interrupt 49 kernel/arch/ppc32/include/arch/drivers/pic.h extern void pic_enable_interrupt(inr_t); pic_enable_interrupt 252 kernel/arch/ppc32/src/ppc32.c pic_enable_interrupt(IRQ_CUDA);