octeon_pdcache_inv_range_index - NetBSD

Symbol: octeon_pdcache_inv_range_index

sys/arch/mips/include/cache_octeon.h

void octeon_pdcache_inv_range_index(vaddr_t va, vsize_t size);

sys/arch/mips/mips/cache.c

octeon_pdcache_inv_range_index;