/trunk/kernel/arch/sparc64/src/mm/tlb.c |
490,7 → 490,7 |
*/ |
void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt) |
{ |
int i; |
unsigned int i; |
tlb_context_reg_t pc_save, ctx; |
|
/* switch to nucleus because we are mapped by the primary context */ |
/trunk/kernel/arch/sparc64/src/mm/page.c |
66,7 → 66,7 |
} else { |
|
#ifdef CONFIG_SMP |
int i; |
unsigned int i; |
|
/* |
* Copy locked DTLB entries from the BSP. |
98,7 → 98,7 |
uintptr_t hw_map(uintptr_t physaddr, size_t size) |
{ |
unsigned int order; |
int i; |
unsigned int i; |
|
ASSERT(config.cpu_active == 1); |
|