Symbol: agintc_send_ipi
sys/arch/arm64/dev/agintc.c
267
void agintc_send_ipi(struct cpu_info *, int);
sys/arch/arm64/dev/agintc.c
638
intr_send_ipi_func = agintc_send_ipi;