arm_no_send_ipi - OpenBSD

Symbol: arm_no_send_ipi

sys/arch/arm64/arm64/intr.c

void arm_no_send_ipi(struct cpu_info *ci, int id);

sys/arch/arm64/arm64/intr.c

void (*intr_send_ipi_func)(struct cpu_info *, int) = arm_no_send_ipi;

sys/arch/armv7/armv7/intr.c

void arm_no_send_ipi(struct cpu_info *ci, int id);

sys/arch/armv7/armv7/intr.c

void (*intr_send_ipi_func)(struct cpu_info *, int) = arm_no_send_ipi;