Rev 3425 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3425 | Rev 4377 | ||
---|---|---|---|
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. |