sys/arch/arm/arm/cpu.c

574

arm_send_ipi(ci, ARM_IPI_NOP);

sys/arch/arm/arm/cpu.c

586

arm_send_ipi(ci, ARM_IPI_NOP);

sys/arch/arm64/arm64/cpu.c

1872

arm_send_ipi(ci, ARM_IPI_NOP);

sys/arch/arm64/arm64/cpu.c

2020

arm_send_ipi(ci, ARM_IPI_NOP);

sys/arch/arm64/arm64/cpu.c

2032

arm_send_ipi(ci, ARM_IPI_NOP);

sys/arch/arm64/arm64/db_interface.c

437

arm_send_ipi(cpu_info[i], ARM_IPI_DDB);

sys/arch/arm64/arm64/db_interface.c

507

arm_send_ipi(cpu_info[cpu], ARM_IPI_DDB);

sys/arch/arm64/dev/apm.c

404

arm_send_ipi(ci, ARM_IPI_HALT);

sys/arch/arm64/include/intr.h

198

void arm_send_ipi(struct cpu_info *, int);

sys/arch/arm64/include/intr.h

207

#define cpu_xcall_ipi(_ci) arm_send_ipi((_ci), ARM_IPI_XCALL)

sys/arch/armv7/include/intr.h

198

void arm_send_ipi(struct cpu_info *, int);