Searched defs:gic_v3_ipi_setup (Results 1 – 1 of 1) sorted by relevance
95 static pic_ipi_setup_t gic_v3_ipi_setup; variable 1196 gic_v3_ipi_setup(device_t dev, u_int ipi, struct intr_irqsrc **isrcp) in gic_v3_ipi_setup() function