tree 40e0f5f041c326d53da8b095e44c9a5f786bedf8
parent 7167bc050dfd2b27e1c13293eba55e55fabc2eca
author Ron Minnich <rminnich@gmail.com> 1426548701 -0700
committer Barret Rhoden <brho@cs.berkeley.edu> 1428433619 -0400

VMM: Make put_cpu actually put the cpu

And various fixes / temp hacks.

(git-fu'd by brho)