Searched refs:dcache_high (Results 1 – 4 of 4) sorted by relevance
49 # define UNCACHED_SHADOW_MASK (cpuinfo.dcache_high - cpuinfo.dcache_base + 1)104 (unsigned int)ret < cpuinfo.dcache_high) in consistent_alloc()
59 unsigned long dcache_high; member
91 CI(dcache_high, DCACHE_HIGHADDR); in set_cpuinfo_pvr_full()
98 ci->dcache_high = fcpu(cpu, "d-cache-highaddr"); in set_cpuinfo_static()