Symbol: ampintc_send_ipi
sys/arch/arm/cortex/ampintc.c
957
ampintc_send_ipi(struct cpu_info *ci, int id)
sys/arch/arm64/dev/ampintc.c
1049
ampintc_send_ipi(struct cpu_info *ci, int reason)