|
|
@@ -8757,6 +8757,7 @@ static int handle_vmread(struct kvm_vcpu *vcpu)
|
|
|
u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);
|
|
|
gva_t gva = 0;
|
|
|
struct vmcs12 *vmcs12;
|
|
|
+ struct x86_exception e;
|
|
|
|
|
|
if (!nested_vmx_check_permission(vcpu))
|
|
|
return 1;
|
|
|
@@ -8798,8 +8799,10 @@ static int handle_vmread(struct kvm_vcpu *vcpu)
|
|
|
vmx_instruction_info, true, &gva))
|
|
|
return 1;
|
|
|
/* _system ok, nested_vmx_check_permission has verified cpl=0 */
|
|
|
- kvm_write_guest_virt_system(vcpu, gva, &field_value,
|
|
|
- (is_long_mode(vcpu) ? 8 : 4), NULL);
|
|
|
+ if (kvm_write_guest_virt_system(vcpu, gva, &field_value,
|
|
|
+ (is_long_mode(vcpu) ? 8 : 4),
|
|
|
+ NULL))
|
|
|
+ kvm_inject_page_fault(vcpu, &e);
|
|
|
}
|
|
|
|
|
|
nested_vmx_succeed(vcpu);
|