Symbol: cache_r4k_op_32lines_16
sys/arch/mips/mips/cache_r5k.c
276
cache_r4k_op_32lines_16(va, CACHE_R4K_D|CACHEOP_R4K_HIT_WB);
sys/arch/mips/mips/cache_r5k.c
277
cache_r4k_op_32lines_16(va, CACHE_R4K_D|CACHEOP_R4K_HIT_INV);