Lots of fixes and renaming to the vmm portion of the kernel
1 parent db31cfb commit 69ab55c2aee7c4aaeba4ed1981f337a0e461276a
@reddawg reddawg authored on 8 Jul 2009
Showing 9 changed files
View
src/sys/include/vmm/paging.h
View
src/sys/kernel/exec.c
View
src/sys/kernel/fork.c
View
src/sys/kernel/syscall.c
View
src/sys/vmm/getfreekernelpage.c
View
src/sys/vmm/getphysicaladdr.c
View
src/sys/vmm/pagefault.c
View
src/sys/vmm/paging.c
View
src/sys/vmm/vmm_virtual.c