|
@@ -194,7 +194,7 @@ void save_boot_params_ret(void);
|
|
static inline unsigned int get_cr(void)
|
|
static inline unsigned int get_cr(void)
|
|
{
|
|
{
|
|
unsigned int val;
|
|
unsigned int val;
|
|
- asm("mrc p15, 0, %0, c1, c0, 0 @ get CR" : "=r" (val) : : "cc");
|
|
|
|
|
|
+ asm volatile("mrc p15, 0, %0, c1, c0, 0 @ get CR" : "=r" (val) : : "cc");
|
|
return val;
|
|
return val;
|
|
}
|
|
}
|
|
|
|
|