Home
last modified time | relevance | path

Searched defs:platform_ipi_send (Results 1 – 5 of 5) sorted by relevance

/f-stack/freebsd/mips/cavium/
H A Docteon_mp.c51 platform_ipi_send(int cpuid) in platform_ipi_send() function
/f-stack/freebsd/mips/ingenic/
H A Djz4780_mp.c51 platform_ipi_send(int cpuid) in platform_ipi_send() function
/f-stack/freebsd/mips/beri/
H A Dberi_mp.c175 platform_ipi_send(int cpuid) in platform_ipi_send() function
/f-stack/freebsd/mips/malta/
H A Dmalta_mp.c152 platform_ipi_send(int cpuid) in platform_ipi_send() function
/f-stack/freebsd/mips/nlm/
H A Dxlp_machdep.c680 platform_ipi_send(int cpuid) in platform_ipi_send() function