Revision 0573fbfc exec.c

b/exec.c
1292 1292
    vfprintf(stderr, fmt, ap);
1293 1293
    fprintf(stderr, "\n");
1294 1294
#ifdef TARGET_I386
1295
    if(env->intercept & INTERCEPT_SVM_MASK) {
1296
	/* most probably the virtual machine should not
1297
	   be shut down but rather caught by the VMM */
1298
        vmexit(SVM_EXIT_SHUTDOWN, 0);
1299
    }
1295 1300
    cpu_dump_state(env, stderr, fprintf, X86_DUMP_FPU | X86_DUMP_CCOP);
1296 1301
#else
1297 1302
    cpu_dump_state(env, stderr, fprintf, 0);

Also available in: Unified diff