fkvm_vcpu_run(): really messy and largely copied from kvm
treee38387737eadefbc57d1c5c8e06ed144e5ddb73f
-rw-r--r-- 6134 COPYRIGHT
-rw-r--r-- 383 LOCKS
-rw-r--r-- 6786 MAINTAINERS
-rw-r--r-- 11904 Makefile
-rw-r--r-- 39973 Makefile.inc1
-rw-r--r-- 205363 ObsoleteFiles.inc
-rw-r--r-- 3025 README
-rw-r--r-- 45337 UPDATING
drwxr-xr-x - bin
drwxr-xr-x - cddl
drwxr-xr-x - contrib
drwxr-xr-x - crypto
drwxr-xr-x - etc
drwxr-xr-x - games
drwxr-xr-x - gnu
drwxr-xr-x - include
drwxr-xr-x - kerberos5
drwxr-xr-x - lib
drwxr-xr-x - libexec
drwxr-xr-x - release
drwxr-xr-x - rescue
drwxr-xr-x - sbin
drwxr-xr-x - secure
drwxr-xr-x - share
drwxr-xr-x - sys
drwxr-xr-x - tools
drwxr-xr-x - usr.bin
drwxr-xr-x - usr.sbin