Searched refs:dcache_inv (Results 1 – 3 of 3) sorted by relevance
154 dcache_inv(vaddr_t va, vsize_t len) in dcache_inv() function
894 dcache_inv((vaddr_t)&e[i], sizeof(e[i])); in e500_cpu_spinup()905 dcache_inv((vaddr_t)h, sizeof(*h)); in e500_cpu_spinup()939 dcache_inv((vaddr_t)h, sizeof(*h)); in e500_cpu_spinup()
399 void dcache_inv(vaddr_t, vsize_t);