Symbol: CACHE_R4K_SD
sys/arch/mips/mips/cache_r10k.c
253
cache_op_r4k_line(va, CACHE_R4K_SD|CACHEOP_R4K_INDEX_WB_INV);
sys/arch/mips/mips/cache_r10k.c
255
cache_op_r4k_line(va, CACHE_R4K_SD|CACHEOP_R4K_INDEX_WB_INV);
sys/arch/mips/mips/cache_r10k.c
270
cache_op_r4k_line(va, CACHE_R4K_SD|CACHEOP_R4K_HIT_WB_INV);
sys/arch/mips/mips/cache_r10k.c
294
cache_op_r4k_line(va, CACHE_R4K_SD|CACHEOP_R4K_INDEX_WB_INV);
sys/arch/mips/mips/cache_r10k.c
296
cache_op_r4k_line(va, CACHE_R4K_SD|CACHEOP_R4K_INDEX_WB_INV);
sys/arch/mips/mips/cache_r10k.c
311
cache_op_r4k_line(va, CACHE_R4K_SD|CACHEOP_R4K_HIT_INV);
sys/arch/mips/mips/cache_r10k.c
327
cache_op_r4k_line(va, CACHE_R4K_SD|CACHEOP_R4K_HIT_WB_INV);