Searched defs:gic_v3_ipi_send (Results 1 – 1 of 1) sorted by relevance
94 static pic_ipi_send_t gic_v3_ipi_send; variable 1148 gic_v3_ipi_send(device_t dev, struct intr_irqsrc *isrc, cpuset_t cpus, in gic_v3_ipi_send() function