Symbol: pic_list_deliver_irqs
sys/arch/arm/pic/pic.c
579
pic_list_deliver_irqs(ci, psw, ipl, frame);
sys/arch/arm/pic/pic.c
77
pic_list_deliver_irqs(struct cpu_info *, register_t, int, void *);