VMM: Make put_cpu actually put the cpu
authorRon Minnich <rminnich@gmail.com>
Mon, 16 Mar 2015 23:31:41 +0000 (16:31 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 7 Apr 2015 19:06:59 +0000 (15:06 -0400)
commit0a1ec12c7b5359ab2cd582cc0f4ff7d5561ffbfe
tree40e0f5f041c326d53da8b095e44c9a5f786bedf8
parent7167bc050dfd2b27e1c13293eba55e55fabc2eca
VMM: Make put_cpu actually put the cpu

And various fixes / temp hacks.

(git-fu'd by brho)
kern/arch/x86/vmm/intel/vmx.c
kern/drivers/dev/cons.c
tests/vmmcp.c