
don't use wbinvd(). Xen flushes the cache for us. This makes DomU boot again. Spotted by bouyer@.
Description
No description provided
Languages
C
85.3%
Roff
7.2%
Assembly
3.1%
Shell
1.7%
Makefile
1.2%
Other
0.9%