Rev 2238 | Rev 2410 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2238 | Rev 2361 | ||
|---|---|---|---|
| Line 57... | Line 57... | ||
| 57 | { |
57 | { |
| 58 | tlb_invalidate_all(); |
58 | tlb_invalidate_all(); |
| 59 | } |
59 | } |
| 60 | 60 | ||
| 61 | /** Invalidate single entry in TLB |
61 | /** Invalidate single entry in TLB |
| - | 62 | * |
|
| 62 | * @param page Virtual adress of the page |
63 | * @param page Virtual adress of the page |
| 63 | */ |
64 | */ |
| 64 | static inline void invalidate_page(uintptr_t page) |
65 | static inline void invalidate_page(uintptr_t page) |
| 65 | { |
66 | { |
| 66 | asm volatile ( |
67 | asm volatile ( |