diff options
| -rw-r--r-- | kalloc.c | 1 | 
1 files changed, 1 insertions, 0 deletions
| @@ -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 | 
