220,7 → 220,7 |
desc = arc_entry->getmemorydescriptor(desc); |
} |
} else |
printf("%#10x %#10x free\n", 0, config.memory_size); |
printf("%#10x %#10x free\n", 0, CONFIG_MEMORY_SIZE); |
} |
|
/** Print charactor to console */ |
362,7 → 362,6 |
{ |
if (arc_enabled()) { |
arc_memdescriptor_t *desc; |
int total = 0; |
uintptr_t base; |
size_t basesize; |
|
379,8 → 378,6 |
} |
basesize = ALIGN_DOWN(basesize, FRAME_SIZE); |
|
total += basesize; |
|
zone_create(ADDR2PFN(base), SIZE2FRAMES(basesize), |
ADDR2PFN(base), 0); |
} |
387,7 → 384,6 |
desc = arc_entry->getmemorydescriptor(desc); |
} |
|
config.memory_size = total; |
return true; |
} |
|