LOCALPIC_SOURCE_IPI
is = pic->pic_sources[LOCALPIC_SOURCE_IPI];
intr_establish_xname(pic->pic_irqbase + LOCALPIC_SOURCE_IPI,