Searched refs:dcache_high (Results 1 – 3 of 3) sorted by relevance
57 unsigned long dcache_high; member
86 CI(dcache_high, DCACHE_HIGHADDR); in set_cpuinfo_pvr_full()
98 ci->dcache_high = fcpu(cpu, "d-cache-highaddr"); in set_cpuinfo_static()
Completed in 4 milliseconds