Symbol: aplintc_handle_ipi
sys/arch/arm64/dev/aplintc.c
194
void aplintc_handle_ipi(struct aplintc_softc *);
sys/arch/arm64/dev/aplintc.c
416
aplintc_handle_ipi(sc);