52,7 → 52,6 |
); |
} |
|
|
/** Invalidate all entries in TLB that belong to specified address space. |
* |
* @param asid Ignored as the ARM architecture doesn't support ASIDs. |
62,7 → 61,6 |
tlb_invalidate_all(); |
} |
|
|
/** Invalidate single entry in TLB |
* |
* @param page Virtual adress of the page |
71,14 → 69,13 |
{ |
asm volatile ( |
"mcr p15, 0, %0, c8, c7, 1" |
|
: |
: "r"(page) |
); |
} |
|
|
/** Invalidate TLB entries for specified page range belonging to specified address space. |
/** Invalidate TLB entries for specified page range belonging to specified |
* address space. |
* |
* @param asid Ignored as the ARM architecture doesn't support it. |
* @param page Address of the first page whose entry is to be invalidated. |