add print_vmcb_save_area()
commit6f0dea0f2f819448330143a88f0206092cb8dd37
authorDiego Ongaro <diego.ongaro@rice.edu>
Sat, 25 Oct 2008 04:27:06 +0000 (24 23:27 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Sat, 25 Oct 2008 04:27:06 +0000 (24 23:27 -0500)
treef3ff2e96283af9cf2585dac978f0176726a591b0
parent6db9f23781ab77861d1169d077eb6547e5481a78
add print_vmcb_save_area()
sys/kern/kern_fkvm.c