ampintc_splx
void ampintc_splx(int);
arm_set_intr_handler(ampintc_splraise, ampintc_spllower, ampintc_splx,
ampintc_splx(new);
ampintc_splx(s);
void ampintc_splx(int);
arm_set_intr_handler(ampintc_splraise, ampintc_spllower, ampintc_splx,
ampintc_splx(new);
ampintc_splx(s);