@ -30,6 +30,7 @@ kinit(void)
kfree(p1);
}
//PAGEBREAK: 21
// Free the page of physical memory pointed at by v,
// which normally should have been returned by a
// call to kalloc(). (The exception is when