CBE_HIGH_PIL
if (pil == CBE_HIGH_PIL) { /* 14 */
if (pil < CBE_HIGH_PIL)
send_dirint(i, CBE_HIGH_PIL);
ipl = CBE_HIGH_PIL;
send_dirint(dest->cpu_id, CBE_HIGH_PIL);
cbe_vector = (*psm_get_clockirq)(CBE_HIGH_PIL);
(void) add_avintr(NULL, CBE_HIGH_PIL, cbe_fire,
(void) add_avintr(NULL, CBE_HIGH_PIL, cbe_fire,
(*psm_get_ipivect)(CBE_HIGH_PIL, PSM_INTR_IPI_HI),
rem_avintr(NULL, CBE_HIGH_PIL, &hpet_isr, hpet_info.cstate_timer.intr);
retval = add_avintr(NULL, CBE_HIGH_PIL, func, "HPET Timer",
ispec.intrspec_pri = CBE_HIGH_PIL;
if (pil == CBE_HIGH_PIL) {
ipltospl(CBE_HIGH_PIL), &spl);
ipl = CBE_HIGH_PIL;
cbe_level14_inum = add_softintr(CBE_HIGH_PIL,
ipltospl(CBE_HIGH_PIL), oldsplp)