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

/freebsd-12-stable/sys/arm/include/
H A Dintr.h57 typedef void intr_ipi_send_t(void *, cpuset_t, u_int); typedef
64 intr_ipi_send_t *, void *);
/freebsd-12-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-12-stable/sys/arm64/arm64/
H A Dmp_machdep.c96 typedef void intr_ipi_send_t(void *, cpuset_t, u_int); typedef
103 intr_ipi_send_t * ii_send;

Completed in 108 milliseconds