Symbol: pic_do_pending_int
sys/arch/arm/pic/picvar.h
194
void pic_do_pending_int(void);
sys/arch/powerpc/pic/intr.c
686
pic_do_pending_int();
sys/arch/powerpc/pic/intr.c
702
pic_do_pending_int();
sys/arch/powerpc/pic/picvar.h
97
void pic_do_pending_int(void);