pic_get_pending 52 kernel/arch/ppc32/include/arch/drivers/pic.h extern uint8_t pic_get_pending(void); pic_get_pending 114 kernel/arch/ppc32/src/interrupt.c while ((inum = pic_get_pending()) != 255) {