switch on vmexit code
commit765e761f33945e4b832903642131a7464d6e112e
authorDiego Ongaro <diego.ongaro@rice.edu>
Sun, 19 Oct 2008 16:45:22 +0000 (19 11:45 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Sun, 19 Oct 2008 16:45:22 +0000 (19 11:45 -0500)
tree536e433b5f554362ad89a7077ddcd725428168b8
parentba2bb9f107fd2e74ee46a32086d3cfb661b37079
switch on vmexit code
sys/kern/kern_fkvm.c