Searched defs:pic_ipi_send (Results 1 - 5 of 5) sorted by relevance

/freebsd-11-stable/sys/arm/broadcom/bcm2835/
H A Dbcm2836_mp.c150 pic_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-11-stable/sys/arm/arm/
H A Dmachdep_intr.c202 pic_ipi_send(void *arg, cpuset_t cpus, u_int ipi) function
H A Dgic.c1474 pic_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-11-stable/sys/arm64/arm64/
H A Dmp_machdep.c308 pic_ipi_send(void *arg, cpuset_t cpus, u_int ipi) function
/freebsd-11-stable/sys/arm/mv/
H A Dmpic.c606 pic_ipi_send(cpuset_t cpus, u_int ipi) function

Completed in 90 milliseconds