Symbol: aplintc_send_ipi
sys/arch/arm64/dev/aplintc.c
193
void aplintc_send_ipi(struct cpu_info *, int);
sys/arch/arm64/dev/aplintc.c
290
intr_send_ipi_func = aplintc_send_ipi;