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

/freebsd-10.3-release/sys/arm/samsung/exynos/
H A Dexynos5_mp.c85 platform_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-10.3-release/sys/arm/ti/omap4/
H A Domap4_mp.c81 platform_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-10.3-release/sys/arm/xilinx/
H A Dzy7_mp.c112 platform_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-10.3-release/sys/mips/cavium/
H A Docteon_mp.c49 platform_ipi_send(int cpuid) function
/freebsd-10.3-release/sys/mips/gxemul/
H A Dgxemul_machdep.c177 platform_ipi_send(int cpuid) function
/freebsd-10.3-release/sys/arm/allwinner/a20/
H A Da20_mp.c155 platform_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-10.3-release/sys/arm/mv/armadaxp/
H A Darmadaxp_mp.c190 platform_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-10.3-release/sys/mips/sibyte/
H A Dsb_machdep.c298 platform_ipi_send(int cpuid) function
/freebsd-10.3-release/sys/arm/freescale/imx/
H A Dimx6_mp.c174 platform_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-10.3-release/sys/arm/rockchip/
H A Drk30xx_mp.c188 platform_ipi_send(cpuset_t cpus, u_int ipi) function
/freebsd-10.3-release/sys/mips/rmi/
H A Dxlr_machdep.c581 platform_ipi_send(int cpuid) function
/freebsd-10.3-release/sys/mips/nlm/
H A Dxlp_machdep.c700 platform_ipi_send(int cpuid) function

Completed in 132 milliseconds