dcache_write       55 arch/microblaze/include/asm/cpuinfo.h 	u32 dcache_write;
dcache_write       87 arch/microblaze/kernel/cpu/cpuinfo-pvr-full.c 	CI(dcache_write, DCACHE_ALLOW_WR);
dcache_write       88 arch/microblaze/kernel/cpu/cpuinfo-static.c 	ci->dcache_write = fcpu(cpu, "xlnx,allow-dcache-wr");