sys/arch/arm/cortex/ampintc.c

351

sc->sc_ipi_num[ARM_IPI_DDB] = ipiirq[0];

sys/arch/arm/cortex/ampintc.c

359

sc->sc_ipi_num[ARM_IPI_DDB] = ipiirq[1];

sys/arch/arm/cortex/ampintc.c

948

if (sc->sc_ipi_reason[cpu_number()] == ARM_IPI_DDB) {

sys/arch/arm/cortex/ampintc.c

966

if (id == ARM_IPI_DDB)

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/agintc.c

1429

if (ISSET(reasons, 1 << ARM_IPI_DDB))

sys/arch/arm64/dev/ampintc.c

1035

if (ISSET(reasons, 1 << ARM_IPI_DDB))

sys/arch/arm64/dev/aplintc.c

689

if (ISSET(reasons, 1 << ARM_IPI_DDB))

sys/arch/arm64/dev/bcm2836_intr.c

644

if (ISSET(mbox_val, 1 << ARM_IPI_DDB)) {