|
Lines 155-161
static inline void gic_write_sre(u32 val)
Link Here
|
| 155 |
|
155 |
|
| 156 |
static inline void gic_write_bpr1(u32 val) |
156 |
static inline void gic_write_bpr1(u32 val) |
| 157 |
{ |
157 |
{ |
|
|
158 |
#if defined(__write_sysreg) && defined(ICC_BPR1) |
| 159 |
write_sysreg(val, ICC_BPR1); |
| 160 |
#else |
| 158 |
asm volatile("mcr " __stringify(ICC_BPR1) : : "r" (val)); |
161 |
asm volatile("mcr " __stringify(ICC_BPR1) : : "r" (val)); |
|
|
162 |
#endif |
| 159 |
} |
163 |
} |
| 160 |
|
164 |
|
| 161 |
/* |
165 |
/* |
| 162 |
- |
|
|