Changes between Version 3 and Version 4 of SuggerimentiPageInit


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

--

Legend:

Unmodified
Added
Removed
Modified

  • SuggerimentiPageInit

    v3 v4  
    22
    33{{{#!c
    4         assert(IOPHYSMEM == npages_basemem * PGSIZE);
    5         assert(IOPHYSMEM/PGSIZE == npages_basemem);
    6         cprintf("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)));
    8         assert(boot_alloc(0) == page2kva(&pages[PADDR(boot_alloc(0))/PGSIZE]));
     4assert(IOPHYSMEM == npages_basemem * PGSIZE);
     5assert(IOPHYSMEM/PGSIZE == npages_basemem);
     6cprintf("EXTPHYSMEM:\t%08x (pa)\t%08x (kva)\n", EXTPHYSMEM, KADDR(EXTPHYSMEM));
     7cprintf("nextfree:\t%08x (pa)\t%08x (kva)\n", boot_alloc(0), PADDR(boot_alloc(0)));
     8assert(boot_alloc(0) == page2kva(&pages[PADDR(boot_alloc(0))/PGSIZE]));
    99}}}