| 1,5 → 1,5 |
|---|
| /* |
| * Copyright (c) 2005 Jakub Jermar |
| * Copyright (c) 2007 Michal Kebrt |
| * All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| 41,8 → 41,7 |
|---|
| /** Invalidate all entries in TLB. */ |
| void tlb_invalidate_all(void) |
| { |
| |
| asm volatile ( |
| asm volatile ( |
| "eor r1, r1\n" |
| "MCR p15, 0, r1, c8, c7, 0\n" // see ARM Architecture reference relE 3.7.7 p.528 |
| |
| 62,7 → 61,7 |
|---|
| /** Invalidate single entry in TLB |
| * @param page Virtual adress of the page |
| */ |
| static inline void invlpg(uintptr_t page) |
| static inline void invalidate_page(uintptr_t page) |
| { |
| asm volatile ( |
| "MCR p15, 0, %0, c8, c7, 1" |
| 83,7 → 82,7 |
|---|
| unsigned int i; |
| |
| for (i = 0; i < cnt; i++) |
| invlpg(page + i * PAGE_SIZE); |
| invalidate_page(page + i * PAGE_SIZE); |
| } |
| |
| /** @} |