| 
          
           Fixed up vmm_getFreeKernelPage 
          
          
         | 
      
|---|
| 
           | 
      
| src/sys/lib/kmalloc.c | 
|---|
| src/sys/vmm/Makefile | 
|---|
| src/sys/vmm/getfreekernelpage.c 0 → 100644 | 
|---|
| src/sys/vmm/getfreepage.c 100644 → 0 | 
|---|
| src/sys/vmm/paging.c | 
|---|
| src/sys/vmm/vmm_virtual.c | 
|---|