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. |