save/restore cr2, cr3 from vmcb
commit9df40600faa07d62201ece74c1fbdf34de64a6de
authorDiego Ongaro <diego.ongaro@rice.edu>
Wed, 22 Apr 2009 21:07:17 +0000 (22 16:07 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Wed, 22 Apr 2009 21:07:17 +0000 (22 16:07 -0500)
tree0b7112a9fcf0a0dd8669aa4e971f758bf0520c9f
parent8d9b0136ec22b160a0e3e9d2fda9deb24ce85a15
save/restore cr2, cr3 from vmcb
sys/kern/kern_fkvm.c