47 dcbf(vaddr_t va, vsize_t off)  in dcbf()
53 dcbst(vaddr_t va, vsize_t off)  in dcbst()
59 dcbi(vaddr_t va, vsize_t off)  in dcbi()
65 dcbz(vaddr_t va, vsize_t off)  in dcbz()
71 dcba(vaddr_t va, vsize_t off)  in dcba()
77 icbi(vaddr_t va, vsize_t off)  in icbi()
83 cache_op(vaddr_t va, vsize_t len, vsize_t line_size, enum cache_op op)  in cache_op()
109 dcache_wb_page(vaddr_t va)  in dcache_wb_page()
115 dcache_wbinv_page(vaddr_t va)  in dcache_wbinv_page()
121 dcache_inv_page(vaddr_t va)  in dcache_inv_page()
127 dcache_zero_page(vaddr_t va)  in dcache_zero_page()
133 icache_inv_page(vaddr_t va)  in icache_inv_page()
142 dcache_wb(vaddr_t va, vsize_t len)  in dcache_wb()
148 dcache_wbinv(vaddr_t va, vsize_t len)  in dcache_wbinv()
154 dcache_inv(vaddr_t va, vsize_t len)  in dcache_inv()
160 icache_inv(vaddr_t va, vsize_t len)  in icache_inv()