Merge branch 'vmspace' into svm_vcpu_run
commite9f4fc9b7b4e804a9b9d5f1f60a56d19928179fe
authorDiego Ongaro <diego.ongaro@rice.edu>
Sat, 4 Oct 2008 13:39:31 +0000 (4 08:39 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Sat, 4 Oct 2008 13:39:31 +0000 (4 08:39 -0500)
tree95fe5fdfb9f41abf461086e09b7c93da138dbd63
parentc761ab95591acbb530afc3bd90f2dba3e6070b41
parentc21f4dc0e54b318d6bcf73ee6da8275852791159
Merge branch 'vmspace' into svm_vcpu_run

Conflicts:
sys/kern/kern_fkvm.c
sys/kern/kern_fkvm.c