Symbol: sparc64_ipi_dcache_flush_page_usiii
sys/arch/sparc64/sparc64/ipifuncs.c
192
sparc64_ipi_dcache_flush_page_usiii;
sys/arch/sparc64/sparc64/ipifuncs.c
82
void sparc64_ipi_dcache_flush_page_usiii(void *, void *);