Searched refs:dcache_high (Results 1 – 2 of 2) sorted by relevance
57 unsigned long dcache_high; member
86 CI(dcache_high, DCACHE_HIGHADDR); in set_cpuinfo_pvr_full()