Symbol: aplintc_splx
sys/arch/arm64/dev/aplintc.c
183
void aplintc_splx(int);
sys/arch/arm64/dev/aplintc.c
276
arm_set_intr_handler(aplintc_splraise, aplintc_spllower, aplintc_splx,
sys/arch/arm64/dev/aplintc.c
397
aplintc_splx(s);
sys/arch/arm64/dev/aplintc.c
432
aplintc_splx(s);
sys/arch/arm64/dev/aplintc.c
464
aplintc_splx(new);