Changes between Version 1 and Version 2 of SuggerimentiPageInit

Timestamp:

May 10, 2017, 7:19:15 AM (7 years ago)

Author:

Mattia Monga

Comment:

--

SuggerimentiPageInit

@@ -1 +1 @@
 Nella scrittura della `page_init` può essere utile riflettere sulle seguenti istruzioni (che potete provare all'interno di `page_init`)
 
-```c
+{{{c
         assert(IOPHYSMEM == npages_basemem * PGSIZE);
         assert(IOPHYSMEM/PGSIZE == npages_basemem);
@@ -7 +7 @@
         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]));
-
-```
+}}}