Symbol: srmmu_vcache_flush_page
sys/arch/sparc/sparc/cache.h
167
void srmmu_vcache_flush_page(int va, int); /* flush page in cur ctx */
sys/arch/sparc/sparc/cpu.c
1541
srmmu_vcache_flush_page, NULL,
sys/arch/sparc/sparc/cpu.c
1568
srmmu_vcache_flush_page, NULL,
sys/arch/sparc/sparc/cpu.c
1611
srmmu_vcache_flush_page, ft_srmmu_vcache_flush_page,
sys/arch/sparc/sparc/cpu.c
1676
srmmu_vcache_flush_page, ft_srmmu_vcache_flush_page,
sys/arch/sparc/sparc/cpu.c
1704
srmmu_vcache_flush_page, NULL,