pic_name
"type %d with %d\n", pic->pic_name, pin,
pic->pic_name, type == IST_EDGE ? "edge" : "level", pin, level,
isp->is_pic->pic_name, isp->is_maxlevel);
apic_format_redir(sc->sc_pic.pic_name, why, pin, redirhi, redirlo);
sc->sc_pic.pic_name, apic_id);
ioapics->sc_pic.pic_name);
printf("%s: enabling\n", sc->sc_pic.pic_name);
apic_format_redir(sc->sc_pic.pic_name, why, pin, redirhi, redirlo);
sc->sc_pic.pic_name, apic_id);
"(%x..%x)\n", sc->sc_pic.pic_name, pin,
sc->sc_pic.pic_name, pin, maxlevel);
ioapics->sc_pic.pic_name);
printf("%s: enabling\n", sc->sc_pic.pic_name);
printf("%s: stray interrupt %d\n", sc->sc_pic.pic_name, irqnum);
mip->ioapic->sc_pic.pic_name,