Symbol: sparc64_ipi_dcache_flush_page_sun4v
sys/arch/sparc64/sparc64/ipifuncs.c
187
sparc64_ipi_dcache_flush_page_sun4v;
sys/arch/sparc64/sparc64/ipifuncs.c
83
void sparc64_ipi_dcache_flush_page_sun4v(void *, void *);