--- qemu-kvm.c~ 2007-06-28 13:29:49.000000000 -0500 +++ qemu-kvm.c 2007-07-20 12:01:56.000000000 -0500 @@ -466,11 +466,13 @@ if (!saved_env[0]) saved_env[0] = env; + kvm_load_registers(env); r = kvm_run(kvm_context, 0); if (r < 0) { printf("kvm_run returned %d\n", r); exit(1); } + kvm_save_registers(env); return 0; }