Searched refs:intr_ipi_send_t (Results 1 - 3 of 3) sorted by relevance

/freebsd-11-stable/sys/arm/include/
H A Dintr.h55 typedef void intr_ipi_send_t(void *, cpuset_t, u_int); typedef
62 intr_ipi_send_t *, void *);
/freebsd-11-stable/sys/arm/arm/
H A Dmachdep_intr.c61 intr_ipi_send_t * ii_send;
180 void *h_arg, intr_ipi_send_t *send, void *s_arg)
/freebsd-11-stable/sys/arm64/arm64/
H A Dmp_machdep.c70 typedef void intr_ipi_send_t(void *, cpuset_t, u_int); typedef
77 intr_ipi_send_t * ii_send;

Completed in 58 milliseconds