/trunk/kernel/arch/ia64/src/ia64.c |
---|
62,10 → 62,11 |
/* Setup usermode init tasks. */ |
//#ifdef I460GX |
int i; |
unsigned int i; |
init.cnt = bootinfo->taskmap.count; |
for(i=0;i<init.cnt;i++) |
{ |
for (i = 0; i < init.cnt; i++) { |
init.tasks[i].addr = ((unsigned long)bootinfo->taskmap.tasks[i].addr)|VRN_MASK; |
init.tasks[i].size = bootinfo->taskmap.tasks[i].size; |
} |
/trunk/kernel/arch/ia64/src/mm/tlb.c |
---|
59,7 → 59,7 |
uintptr_t adr; |
uint32_t count1, count2, stride1, stride2; |
int i, j; |
unsigned int i, j; |
adr = PAL_PTCE_INFO_BASE(); |
count1 = PAL_PTCE_INFO_COUNT1(); |