Symbol: ampintc_send_ipi
sys/arch/arm/cortex/ampintc.c
200
void ampintc_send_ipi(struct cpu_info *, int);
sys/arch/arm/cortex/ampintc.c
365
intr_send_ipi_func = ampintc_send_ipi;
sys/arch/arm64/dev/ampintc.c
205
void ampintc_send_ipi(struct cpu_info *, int);
sys/arch/arm64/dev/ampintc.c
331
intr_send_ipi_func = ampintc_send_ipi;