Symbol: sparc64_ipi_dcache_flush_page_us
sys/arch/sparc64/sparc64/ipifuncs.c
197
sparc64_ipi_dcache_flush_page_us;
sys/arch/sparc64/sparc64/ipifuncs.c
81
void sparc64_ipi_dcache_flush_page_us(void *, void *);