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); |
} |
|
/** @} |