LOCALPIC_SOURCE_TIMER
if ((mask & __BIT(LOCALPIC_SOURCE_TIMER)) != 0) {
if ((mask & __BIT(LOCALPIC_SOURCE_TIMER)) != 0) {
const int irq = pic->pic_irqbase + LOCALPIC_SOURCE_TIMER;
struct intrsource * const is = pic->pic_sources[LOCALPIC_SOURCE_TIMER];
apple_intc_mark_pending(pic, LOCALPIC_SOURCE_TIMER);