pic_init 48 kernel/arch/ppc32/include/arch/drivers/pic.h extern void pic_init(uintptr_t, size_t, cir_t *, void **); pic_init 232 kernel/arch/ppc32/src/ppc32.c pic_init(assigned_address[0].addr, PAGE_SIZE, &pic_cir,