MSR_ICE            22 arch/microblaze/kernel/cpu/cache.c 			: : "i" (MSR_ICE) : "memory");
MSR_ICE            29 arch/microblaze/kernel/cpu/cache.c 			: : "i" (MSR_ICE) : "memory");
MSR_ICE            53 arch/microblaze/kernel/cpu/cache.c 			: : "i" (MSR_ICE) : "memory", "r12");
MSR_ICE            63 arch/microblaze/kernel/cpu/cache.c 			: : "i" (MSR_ICE) : "memory", "r12");