icache_write 47 arch/microblaze/include/asm/cpuinfo.h u32 icache_write; icache_write 79 arch/microblaze/kernel/cpu/cpuinfo-pvr-full.c CI(icache_write, ICACHE_ALLOW_WR); icache_write 74 arch/microblaze/kernel/cpu/cpuinfo-static.c ci->icache_write = fcpu(cpu, "xlnx,allow-icache-wr");