Pass read/write CRx registers to userspace
commit5e0cd96fc5d1200d7c4bcfdf423afbb52d80b451
authorDiego Ongaro <diego.ongaro@rice.edu>
Tue, 21 Apr 2009 02:50:18 +0000 (20 21:50 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Tue, 21 Apr 2009 02:50:18 +0000 (20 21:50 -0500)
tree5f17cac2de9e543a41ac80cdffae242dd18de0ac
parent79cba6bd8a88ff6c2a382ecb874a96126944a437
Pass read/write CRx registers to userspace
sys/kern/kern_fkvm.c
sys/sys/fkvm.h