Symbol: sun4_vcache_flush_page
sys/arch/sparc/sparc/cache.h
160
void sun4_vcache_flush_page(int va, int); /* flush page in cur ctx */
sys/arch/sparc/sparc/cpu.c
1155
sun4_vcache_flush_page, NULL,
sys/arch/sparc/sparc/cpu.c
1276
sun4_vcache_flush_page, NULL,