aplintc_splraise
int aplintc_splraise(int);
arm_set_intr_handler(aplintc_splraise, aplintc_spllower, aplintc_splx,
s = aplintc_splraise(ih->ih_ipl);
s = aplintc_splraise(IPL_CLOCK);