vmm: Rename root_mtx
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 14 Sep 2017 20:20:49 +0000 (16:20 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 14 Sep 2017 20:38:44 +0000 (16:38 -0400)
commitbf53bf38194186e2794a2aa3b8165dd0247d28da
tree4ca61849eb410a1cb9d77c7d7a9e8da06b451f9a
parent1b85bfd2b56a461902e88266e8abcda46d5d5c9c
vmm: Rename root_mtx

I'll need to use it for something else.  If it becomes a problem, we can
split the mutex up, or just not use it at all for the page tables (just map
it all).

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
tests/dune/dune.c
tests/mmap_file_vmm.c
tests/vmm/vmrunkernel.c
user/vmm/include/vmm/vmm.h
user/vmm/pagetables.c