changes fkvm_get_{efer,cr8} to simply return the values
commit8a96b005a2c32ed35cd753c3f2dd979552cec10a
authorDiego Ongaro <diego.ongaro@rice.edu>
Fri, 19 Dec 2008 05:14:54 +0000 (18 23:14 -0600)
committerDiego Ongaro <diego.ongaro@rice.edu>
Fri, 19 Dec 2008 05:14:54 +0000 (18 23:14 -0600)
treeaab00761752a9c904cacd8ea44aa2af7ea192df8
parent68324e5c231f152ef20a0b45c32be939ea3d4469
changes fkvm_get_{efer,cr8} to simply return the values
sys/kern/kern_fkvm.c