- printf("marking pages up to %x (page: %d) as used\n", used_end, ADDR_TO_PAGE(used_end));
-
- for(i=0; i<=used_end; i++) {
+ max_pg = ADDR_TO_PAGE(used_end);
+ printf("marking pages up to %x (page: %d) as used\n", used_end, max_pg);
+ for(i=0; i<=max_pg; i++) {