diff options
-rw-r--r-- | xen/arch/x86/hvm/svm/svm.c | 2 | ||||
-rw-r--r-- | xen/arch/x86/hvm/vmx/vmx.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/xen/arch/x86/hvm/svm/svm.c b/xen/arch/x86/hvm/svm/svm.c index 154bc270f8..e24e0bdd9a 100644 --- a/xen/arch/x86/hvm/svm/svm.c +++ b/xen/arch/x86/hvm/svm/svm.c @@ -877,7 +877,7 @@ void start_svm(struct cpuinfo_x86 *c) { static bool_t bootstrapped; - if ( !test_and_set_bool(bootstrapped) ) + if ( test_and_set_bool(bootstrapped) ) { if ( hvm_enabled && !svm_cpu_up(c) ) { diff --git a/xen/arch/x86/hvm/vmx/vmx.c b/xen/arch/x86/hvm/vmx/vmx.c index adab2a93e8..72a324c7c3 100644 --- a/xen/arch/x86/hvm/vmx/vmx.c +++ b/xen/arch/x86/hvm/vmx/vmx.c @@ -1407,7 +1407,7 @@ void start_vmx(void) vmx_save_host_msrs(); - if ( !test_and_set_bool(bootstrapped) ) + if ( test_and_set_bool(bootstrapped) ) { if ( hvm_enabled && !vmx_cpu_up() ) { |