HomeSort by: relevance | last modified time | path
    Searched refs:pic_ipi_ddb (Results 1 - 6 of 6) sorted by relevancy

  /src/sys/arch/arm/pic/
picvar.h 201 int pic_ipi_ddb(void *);
pic.c 152 pic_ipi_ddb(void *arg) function
  /src/sys/arch/arm/apple/
apple_intc.c 428 pic_ipi_ddb(priv);
  /src/sys/arch/arm/broadcom/
bcm2835_intr.c 884 pic_ipi_ddb(priv);
  /src/sys/arch/arm/cortex/
gic.c 730 IST_MPSAFE | IST_EDGE, pic_ipi_ddb, NULL, "IPI ddb");
gicv3.c 946 intr_establish_xname(IPI_DDB, IPL_HIGH, IST_MPSAFE | IST_EDGE, pic_ipi_ddb, NULL, "IPI ddb");

Completed in 21 milliseconds