dequeues interrupt before vmrun
commit38c57a0254c77cd8dc7cd4a369efa95f936770ea
authorDiego Ongaro <diego.ongaro@rice.edu>
Fri, 19 Dec 2008 22:16:53 +0000 (19 16:16 -0600)
committerDiego Ongaro <diego.ongaro@rice.edu>
Fri, 19 Dec 2008 22:25:51 +0000 (19 16:25 -0600)
tree079ad80aeff54f16d2138adf6b2d7f05359d6c68
parent30c619adcfef30a7da13b4f1025035229b7e0545
dequeues interrupt before vmrun
sys/kern/kern_fkvm.c