Symbol: smp_dcache_flush_page_allcpu
sys/arch/sparc64/sparc64/cache.c
125
dcache_flush_page = smp_dcache_flush_page_allcpu;
sys/arch/sparc64/sparc64/cache.h
127
void smp_dcache_flush_page_allcpu(paddr_t);