/branches/network/kernel/arch/sparc64/src/mm/as.c |
76,7 → 76,7 |
as->arch.dtsb = (tsb_entry_t *) (tsb + ITSB_ENTRY_COUNT * |
sizeof(tsb_entry_t)); |
|
memsetb((uintptr_t) as->arch.itsb, |
memsetb(as->arch.itsb, |
(ITSB_ENTRY_COUNT + DTSB_ENTRY_COUNT) * sizeof(tsb_entry_t), 0); |
#endif |
return 0; |
/branches/network/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 */ |
/branches/network/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); |
|