icache_high        51 arch/microblaze/include/asm/cpuinfo.h 	unsigned long icache_high;
icache_high        83 arch/microblaze/kernel/cpu/cpuinfo-pvr-full.c 	CI(icache_high, ICACHE_HIGHADDR);
icache_high        84 arch/microblaze/kernel/cpu/cpuinfo-static.c 	ci->icache_high = fcpu(cpu, "i-cache-highaddr");