Symbol: apple_intc_mark_pending
sys/arch/arm/apple/apple_intc.c
346
apple_intc_mark_pending(pic, is->is_irq);
sys/arch/arm/apple/apple_intc.c
380
apple_intc_mark_pending(pic, LOCALPIC_SOURCE_TIMER);