Searched defs:arm_gic_ipi_send (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/sys/arm/arm/ | ||
| H A D | gic.c | 1255 arm_gic_ipi_send(device_t dev, struct intr_irqsrc *isrc, cpuset_t cpus, function 1390 arm_gic_ipi_send(device_t dev, cpuset_t cpus, u_int ipi) function |
Completed in 50 milliseconds