Searched refs:gic_v3_ipi_setup (Results 1 – 1 of 1) sorted by relevance
95 static pic_ipi_setup_t gic_v3_ipi_setup; variable131 DEVMETHOD(pic_ipi_setup, gic_v3_ipi_setup),993 gic_v3_ipi_setup(device_t dev, u_int ipi, struct intr_irqsrc **isrcp) in gic_v3_ipi_setup() function