MSR_DCE            36 arch/microblaze/kernel/cpu/cache.c 			: : "i" (MSR_DCE) : "memory");
MSR_DCE            43 arch/microblaze/kernel/cpu/cache.c 			: : "i" (MSR_DCE) : "memory");
MSR_DCE            73 arch/microblaze/kernel/cpu/cache.c 			: : "i" (MSR_DCE) : "memory", "r12");
MSR_DCE            83 arch/microblaze/kernel/cpu/cache.c 			: : "i" (MSR_DCE) : "memory", "r12");