|
@@ -8011,13 +8011,16 @@ static __init int hardware_setup(void)
|
|
|
|
|
|
|
|
kvm_mce_cap_supported |= MCG_LMCE_P;
|
|
kvm_mce_cap_supported |= MCG_LMCE_P;
|
|
|
|
|
|
|
|
- return alloc_kvm_area();
|
|
|
|
|
|
|
+ r = alloc_kvm_area();
|
|
|
|
|
+ if (r)
|
|
|
|
|
+ goto out;
|
|
|
|
|
+ return 0;
|
|
|
|
|
|
|
|
out:
|
|
out:
|
|
|
for (i = 0; i < VMX_BITMAP_NR; i++)
|
|
for (i = 0; i < VMX_BITMAP_NR; i++)
|
|
|
free_page((unsigned long)vmx_bitmap[i]);
|
|
free_page((unsigned long)vmx_bitmap[i]);
|
|
|
|
|
|
|
|
- return r;
|
|
|
|
|
|
|
+ return r;
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
static __exit void hardware_unsetup(void)
|
|
static __exit void hardware_unsetup(void)
|