|
@@ -743,7 +743,6 @@ static u32 vmx_segment_access_rights(struct kvm_segment *var);
|
|
|
static void vmx_sync_pir_to_irr_dummy(struct kvm_vcpu *vcpu);
|
|
|
static void copy_vmcs12_to_shadow(struct vcpu_vmx *vmx);
|
|
|
static void copy_shadow_to_vmcs12(struct vcpu_vmx *vmx);
|
|
|
-static bool vmx_mpx_supported(void);
|
|
|
|
|
|
static DEFINE_PER_CPU(struct vmcs *, vmxarea);
|
|
|
static DEFINE_PER_CPU(struct vmcs *, current_vmcs);
|