Symbol: pic_list_find_pic_by_pending_ipl
sys/arch/arm/pic/pic.c
553
while ((pic = pic_list_find_pic_by_pending_ipl(ci, ipl_mask)) != NULL) {
sys/arch/arm/pic/pic.c
73
pic_list_find_pic_by_pending_ipl(struct cpu_info *, uint32_t);