Symbol: sparc64_ipi_ccall
sys/arch/sparc64/include/intr.h
77
void sparc64_ipi_ccall(void *, void *);
sys/arch/sparc64/sparc64/ipifuncs.c
544
sparc64_send_ipi(target->ci_cpuid, sparc64_ipi_ccall,
sys/arch/sparc64/sparc64/ipifuncs.c
548
sparc64_multicast_ipi(cpus_active, sparc64_ipi_ccall,
sys/arch/sparc64/sparc64/ipifuncs.c
85
void sparc64_ipi_ccall(void *, void *);