Searched refs:dcache_wb_pou (Results 1 – 3 of 3) sorted by relevance
125 dcache_wb_pou((vm_offset_t)pte1p, sizeof(*pte1p)); in pte1_sync()136 dcache_wb_pou((vm_offset_t)pte1p, size); in pte1_sync_range()265 dcache_wb_pou((vm_offset_t)pte2p, sizeof(*pte2p)); in pte2_sync()276 dcache_wb_pou((vm_offset_t)pte2p, size); in pte2_sync_range()
488 dcache_wb_pou(vm_offset_t va, vm_size_t size) in dcache_wb_pou() function
299 dcache_wb_pou((vm_offset_t)lf->address, (vm_size_t)lf->size); in elf_cpu_load_file()