Symbol: agintc_splx
sys/arch/arm64/dev/agintc.c
1009
agintc_splx(new);
sys/arch/arm64/dev/agintc.c
1157
agintc_splx(s);
sys/arch/arm64/dev/agintc.c
1170
agintc_splx(s);
sys/arch/arm64/dev/agintc.c
236
void agintc_splx(int);
sys/arch/arm64/dev/agintc.c
585
arm_set_intr_handler(agintc_splraise, agintc_spllower, agintc_splx,