Searched refs:platform_ipi_send (Results 1 - 7 of 7) sorted by relevance

/freebsd-11-stable/sys/mips/include/
H A Dhwfunc.h75 void platform_ipi_send(int cpuid);
/freebsd-11-stable/sys/mips/cavium/
H A Docteon_mp.c49 platform_ipi_send(int cpuid) function
/freebsd-11-stable/sys/mips/gxemul/
H A Dgxemul_machdep.c177 platform_ipi_send(int cpuid) function
/freebsd-11-stable/sys/mips/mips/
H A Dmp_machdep.c71 platform_ipi_send(pc->pc_cpuid);
/freebsd-11-stable/sys/mips/sibyte/
H A Dsb_machdep.c298 platform_ipi_send(int cpuid) function
301 ("platform_ipi_send: invalid cpuid %d", cpuid));
/freebsd-11-stable/sys/mips/rmi/
H A Dxlr_machdep.c581 platform_ipi_send(int cpuid) function
/freebsd-11-stable/sys/mips/nlm/
H A Dxlp_machdep.c697 platform_ipi_send(int cpuid) function

Completed in 177 milliseconds