Symbol: aplintc_spllower
sys/arch/arm64/dev/aplintc.c
182
int aplintc_spllower(int);
sys/arch/arm64/dev/aplintc.c
276
arm_set_intr_handler(aplintc_splraise, aplintc_spllower, aplintc_splx,