| 168 | } |
| 169 | |
| 170 | static __inline void |
| 171 | clrex(void) |
| 172 | { |
| 173 | |
| 174 | /* |
| 175 | * Ensure compiler barrier, otherwise the monitor clear might |
| 176 | * occur too late for us ? |
| 177 | */ |
| 178 | __asm __volatile("clrex" : : : "memory"); |
| 179 | } |
| 180 | |
| 181 | static __inline void |
| 182 | set_ttbr0(uint64_t ttbr0) |