vmm: Use VMM_CTL to set VMM flags (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 8 Sep 2017 18:20:17 +0000 (14:20 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 14 Sep 2017 20:37:58 +0000 (16:37 -0400)
commit84a8aeec6fd81365266196fe7d45dc99c05b319c
treef6a0a63f2ed9765451964e29bb68122aa742529a
parent339bee3d841d91b09c1fe57404819cd5097847fd
vmm: Use VMM_CTL to set VMM flags (XCC)

We had been setting the flags when we created the VM.  This lets us change
them on the fly - even if it's just a debugging flag.

I mostly wanted to separate out the flags from the initial setup, since
I'll turn the setup into "add guest pcores."

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/trap.c
kern/arch/x86/vmm/vmm.c
kern/arch/x86/vmm/vmm.h
kern/include/ros/vmm.h
kern/src/syscall.c
tests/vmm/vmrunkernel.c
user/vmm/sched.c