Searched refs:gic_v3_ipi_send (Results 1 – 1 of 1) sorted by relevance
94 static pic_ipi_send_t gic_v3_ipi_send; variable130 DEVMETHOD(pic_ipi_send, gic_v3_ipi_send),945 gic_v3_ipi_send(device_t dev, struct intr_irqsrc *isrc, cpuset_t cpus, in gic_v3_ipi_send() function