imsic_splraise
riscv_set_intr_func(imsic_splraise, imsic_spllower,
s = imsic_splraise(ih->ih_ipl);
int imsic_splraise(int);