agintc_splx
agintc_splx(new);
agintc_splx(s);
void agintc_splx(int);
arm_set_intr_handler(agintc_splraise, agintc_spllower, agintc_splx,