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