tree e4dec02320f6a45e861236c508d3f04ec69d527c
parent dcc4ae1223735739244ac72bd92f3defd42540f4
author Barret Rhoden <brho@cs.berkeley.edu> 1427401366 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1428433619 -0400

VMM: init and cleanup take the proc *

And do some minor connections between the guest pcore and its proc.

Might need to think a bit about the weak vs strong refs.  I'm pretty
sure the cur_proc ref will always be active whenever we have a
guest_pcore (vmx_vcpu).  We'll see.