Searched refs:arm_gic_ipi_send (Results 1 – 1 of 1) sorted by relevance
971 arm_gic_ipi_send(device_t dev, struct intr_irqsrc *isrc, cpuset_t cpus, in arm_gic_ipi_send() function1025 DEVMETHOD(pic_ipi_send, arm_gic_ipi_send),