Symbol: octeon_pdcache_inv_range
sys/arch/mips/include/cache_octeon.h
80
void octeon_pdcache_inv_range(register_t va, vsize_t size);
sys/arch/mips/mips/cache.c
1546
mco->mco_pdcache_wbinv_range = octeon_pdcache_inv_range;
sys/arch/mips/mips/cache.c
1549
mco->mco_pdcache_inv_range = octeon_pdcache_inv_range;