dcache_high        60 arch/microblaze/include/asm/cpuinfo.h 	unsigned long dcache_high;
dcache_high        91 arch/microblaze/kernel/cpu/cpuinfo-pvr-full.c 	CI(dcache_high, DCACHE_HIGHADDR);
dcache_high        98 arch/microblaze/kernel/cpu/cpuinfo-static.c 	ci->dcache_high = fcpu(cpu, "d-cache-highaddr");
dcache_high        38 arch/microblaze/mm/consistent.c #define UNCACHED_SHADOW_MASK (cpuinfo.dcache_high - cpuinfo.dcache_base + 1)
dcache_high        48 arch/microblaze/mm/consistent.c 	if (addr > cpuinfo.dcache_base && addr < cpuinfo.dcache_high)