Rev 3233 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3233 | Rev 4018 | ||
|---|---|---|---|
| Line 191... | Line 191... | ||
| 191 | * @param pt Pointer to the page table to set. |
191 | * @param pt Pointer to the page table to set. |
| 192 | */ |
192 | */ |
| 193 | static inline void set_ptl0_addr(pte_level0_t *pt) |
193 | static inline void set_ptl0_addr(pte_level0_t *pt) |
| 194 | { |
194 | { |
| 195 | asm volatile ( |
195 | asm volatile ( |
| 196 | "mcr p15, 0, %0, c2, c0, 0 \n" |
196 | "mcr p15, 0, %[pt], c2, c0, 0\n" |
| 197 | : |
- | |
| 198 | : "r"(pt) |
197 | :: [pt] "r" (pt) |
| 199 | ); |
198 | ); |
| 200 | } |
199 | } |
| 201 | 200 | ||
| 202 | 201 | ||
| 203 | /** Returns level 0 page table entry flags. |
202 | /** Returns level 0 page table entry flags. |