Symbol: irq_ipl
usr/src/cmd/mdb/i86xpv/modules/xpv_psm/xpv_psm.c
249
} else if (irq_ipl(i) == XC_CPUPOKE_PIL) {
usr/src/cmd/mdb/i86xpv/modules/xpv_psm/xpv_psm.c
352
mdb_printf("%-4d", irq_ipl(i));
usr/src/cmd/mdb/i86xpv/modules/xpv_psm/xpv_psm.c
441
mdb_printf("%-4d", irq_ipl(irq));