adds a couple print_vmcb()s for the write CR0 -> shutdown bug
commit9efe25f3b36ece856e7870d0111cfbaf9cb2a779
authorDiego Ongaro <diego.ongaro@rice.edu>
Wed, 22 Apr 2009 21:14:40 +0000 (22 16:14 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Wed, 22 Apr 2009 21:14:40 +0000 (22 16:14 -0500)
tree220650da6bef22cc6b25f34e2dbef34da6793624
parent93e0d0a071fc217b2d9973303cda4f691808434b
adds a couple print_vmcb()s for the write CR0 -> shutdown bug
sys/kern/kern_fkvm.c