Symbol: us_dcache_flush_page
sys/arch/sparc64/sparc64/cache.h
82
void us_dcache_flush_page(paddr_t); /* flush page from D$ */
sys/arch/sparc64/sparc64/cpu.c
76
.c_dcache_flush_page = us_dcache_flush_page