r10k_sdcache_wbinv_range - NetBSD

Symbol: r10k_sdcache_wbinv_range

sys/arch/mips/include/cache_r10k.h

void r10k_sdcache_wbinv_range(register_t, vsize_t);

sys/arch/mips/mips/cache.c

r10k_sdcache_wbinv_range;