Symbol: IPL_HARDCLOCK
sys/arch/sparc/sparc/timer_sun4m.c
135
raise_ipi(cpi, IPL_HARDCLOCK);
sys/arch/sparc/sparc/timer_sun4m.c
298
hardclock_cookie = sparc_softintr_establish(IPL_HARDCLOCK,