Rev 4344 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4344 | Rev 4345 | ||
|---|---|---|---|
| Line 66... | Line 66... | ||
| 66 | * @param page Virtual adress of the page |
66 | * @param page Virtual adress of the page |
| 67 | */ |
67 | */ |
| 68 | static inline void invalidate_page(uintptr_t page) |
68 | static inline void invalidate_page(uintptr_t page) |
| 69 | { |
69 | { |
| 70 | asm volatile ( |
70 | asm volatile ( |
| 71 | "mcr p15, 0, %0, c8, c7, 1" |
71 | "mcr p15, 0, %[page], c8, c7, 1\n" |
| 72 | : |
- | |
| 73 | : "r" (page) |
72 | :: [page] "r" (page) |
| 74 | ); |
73 | ); |
| 75 | } |
74 | } |
| 76 | 75 | ||
| 77 | /** Invalidate TLB entries for specified page range belonging to specified |
76 | /** Invalidate TLB entries for specified page range belonging to specified |
| 78 | * address space. |
77 | * address space. |