Changes between Version 4 and Version 5 of SuggerimentiPageInit


Ignore:
Timestamp:
May 10, 2017, 7:21:21 AM (7 years ago)
Author:
Mattia Monga
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • SuggerimentiPageInit

    v4 v5  
    55assert(IOPHYSMEM/PGSIZE == npages_basemem);
    66cprintf("EXTPHYSMEM:\t%08x (pa)\t%08x (kva)\n", EXTPHYSMEM, KADDR(EXTPHYSMEM));
    7 cprintf("nextfree:\t%08x (pa)\t%08x (kva)\n", boot_alloc(0), PADDR(boot_alloc(0)));
     7cprintf("nextfree:\t%08x (pa)\t%08x (kva)\n", PADDR(boot_alloc(0)), boot_alloc(0));
    88assert(boot_alloc(0) == page2kva(&pages[PADDR(boot_alloc(0))/PGSIZE]));
    99}}}