version 1.4.2.2, 2002/01/10 19:46:05 |
version 1.4.2.3, 2002/02/11 20:08:36 |
Line 264 r4600v2_pdcache_wbinv_range_32(vaddr_t v |
|
Line 264 r4600v2_pdcache_wbinv_range_32(vaddr_t v |
|
} |
} |
|
|
void |
void |
|
vr4131v1_pdcache_wbinv_range_16(vaddr_t va, vsize_t size) |
|
{ |
|
vaddr_t eva = round_line16(va + size); |
|
|
|
va = trunc_line16(va); |
|
|
|
while ((eva - va) >= (32 * 16)) { |
|
cache_r4k_op_32lines_16(va, |
|
CACHE_R4K_D|CACHEOP_R4K_HIT_WB); |
|
cache_r4k_op_32lines_16(va, |
|
CACHE_R4K_D|CACHEOP_R4K_HIT_INV); |
|
va += (32 * 16); |
|
} |
|
|
|
while (va < eva) { |
|
cache_op_r4k_line(va, CACHE_R4K_D|CACHEOP_R4K_HIT_WB); |
|
cache_op_r4k_line(va, CACHE_R4K_D|CACHEOP_R4K_HIT_INV); |
|
va += 16; |
|
} |
|
} |
|
|
|
void |
r5k_pdcache_wbinv_range_16(vaddr_t va, vsize_t size) |
r5k_pdcache_wbinv_range_16(vaddr_t va, vsize_t size) |
{ |
{ |
vaddr_t eva = round_line16(va + size); |
vaddr_t eva = round_line16(va + size); |