pic_ipi_ddb - NetBSD

Symbol: pic_ipi_ddb

sys/arch/arm/apple/apple_intc.c

pic_ipi_ddb(priv);

sys/arch/arm/broadcom/bcm2835_intr.c

pic_ipi_ddb(priv);

sys/arch/arm/cortex/gic.c

IST_MPSAFE | IST_EDGE, pic_ipi_ddb, NULL, "IPI ddb");

sys/arch/arm/cortex/gicv3.c

intr_establish_xname(IPI_DDB, IPL_HIGH, IST_MPSAFE | IST_EDGE, pic_ipi_ddb, NULL, "IPI ddb");

sys/arch/arm/pic/picvar.h

int pic_ipi_ddb(void *);