/kernel/trunk/generic/src/mm/tlb.c |
---|
78,7 → 78,7 |
* @param page Virtual page address, if required by type. |
* @param count Number of pages, if required by type. |
*/ |
void tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid, __address page, count_t count) |
void tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid, uintptr_t page, count_t count) |
{ |
int i; |
141,7 → 141,7 |
{ |
tlb_invalidate_type_t type; |
asid_t asid; |
__address page; |
uintptr_t page; |
count_t count; |
int i; |