Lines Matching refs:va
52 pdcache_inv(uint32_t va, u_int size)
56 eva = round_line(va + size);
57 va = trunc_line(va);
59 while (va < eva) {
60 cache_op_r4k_line(va, CACHE_R4K_D|CACHEOP_R4K_HIT_INV);
61 va += CACHELINESIZE;
66 pdcache_wb(uint32_t va, u_int size)
70 eva = round_line(va + size);
71 va = trunc_line(va);
73 while (va < eva) {
74 cache_op_r4k_line(va, CACHE_R4K_D|CACHEOP_R4K_HIT_WB);
75 va += CACHELINESIZE;
80 pdcache_wbinv(uint32_t va, u_int size)
84 eva = round_line(va + size);
85 va = trunc_line(va);
87 while (va < eva) {
88 cache_op_r4k_line(va, CACHE_R4K_D|CACHEOP_R4K_HIT_WB_INV);
89 va += CACHELINESIZE;