Searched defs:intr_ipi_send_t (Results 1 - 2 of 2) sorted by relevance

/freebsd-11.0-release/sys/arm/include/
H A Dintr.h55 typedef void intr_ipi_send_t(void *, cpuset_t, u_int); typedef
/freebsd-11.0-release/sys/arm64/arm64/
H A Dmp_machdep.c71 typedef void intr_ipi_send_t(void *, cpuset_t, u_int); typedef

Completed in 48 milliseconds