Searched defs:platform_ipi_send (Results 1 - 8 of 8) sorted by relevance

/freebsd-10.0-release/sys/arm/samsung/exynos/
H A Dexynos5_mp.c88 platform_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-10.0-release/sys/arm/ti/omap4/
H A Domap4_mp.c84 platform_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-10.0-release/sys/mips/cavium/
H A Docteon_mp.c49 platform_ipi_send(int cpuid) function
/freebsd-10.0-release/sys/arm/mv/armadaxp/
H A Darmadaxp_mp.c187 platform_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-10.0-release/sys/mips/gxemul/
H A Dgxemul_machdep.c177 platform_ipi_send(int cpuid) function
/freebsd-10.0-release/sys/mips/sibyte/
H A Dsb_machdep.c298 platform_ipi_send(int cpuid) function
/freebsd-10.0-release/sys/mips/rmi/
H A Dxlr_machdep.c581 platform_ipi_send(int cpuid) function
/freebsd-10.0-release/sys/mips/nlm/
H A Dxlp_machdep.c700 platform_ipi_send(int cpuid) function

Completed in 139 milliseconds