|
@@ -161,7 +161,7 @@ static int get_timer_reg(struct kvm_vcpu *vcpu, const struct kvm_one_reg *reg)
|
|
u64 val;
|
|
u64 val;
|
|
|
|
|
|
val = kvm_arm_timer_get_reg(vcpu, reg->id);
|
|
val = kvm_arm_timer_get_reg(vcpu, reg->id);
|
|
- return copy_to_user(uaddr, &val, KVM_REG_SIZE(reg->id));
|
|
|
|
|
|
+ return copy_to_user(uaddr, &val, KVM_REG_SIZE(reg->id)) ? -EFAULT : 0;
|
|
}
|
|
}
|
|
|
|
|
|
static unsigned long num_core_regs(void)
|
|
static unsigned long num_core_regs(void)
|