ampintc_splraise
int ampintc_splraise(int);
arm_set_intr_handler(ampintc_splraise, ampintc_spllower, ampintc_splx,
s = ampintc_splraise(pri);
int ampintc_splraise(int);
arm_set_intr_handler(ampintc_splraise, ampintc_spllower, ampintc_splx,
s = ampintc_splraise(pri);