Changes between Initial Version and Version 1 of SuggerimentiPageInit

Timestamp:

May 10, 2017, 7:18:52 AM (8 years ago)

Author:

Mattia Monga

Comment:

--

SuggerimentiPageInit

@@ +1 @@
+Nella scrittura della `page_init` può essere utile riflettere sulle seguenti istruzioni (che potete provare all'interno di `page_init`)
+
+```c
+        assert(IOPHYSMEM == npages_basemem * PGSIZE);
+        assert(IOPHYSMEM/PGSIZE == npages_basemem);
+        cprintf("EXTPHYSMEM:\t%08x (pa)\t%08x (kva)\n", EXTPHYSMEM, KADDR(EXTPHYSMEM));
+        cprintf("nextfree:\t%08x (pa)\t%08x (kva)\n", boot_alloc(0), PADDR(boot_alloc(0)));
+        assert(boot_alloc(0) == page2kva(&pages[PADDR(boot_alloc(0))/PGSIZE]));
+
+```