diff --git a/arch/arm64/kvm/sys_regs.c b/arch/arm64/kvm/sys_regs.c
index 73d5102e7a10fe0fede68e6c93d905c5b7899abb..ded8d28d10a8eae78b9850e3f8599f51b51beaf3 100644
--- a/arch/arm64/kvm/sys_regs.c
+++ b/arch/arm64/kvm/sys_regs.c
@@ -280,11 +280,11 @@ static bool access_actlr(struct kvm_vcpu *vcpu,
 			 struct sys_reg_params *p,
 			 const struct sys_reg_desc *r)
 {
-	u64 mask, shift, val;
+	u64 mask, shift;
 
 #ifdef CONFIG_ACTLR_XCALL_XINT
 	if (p->is_write) {
-		val = vcpu_read_sys_reg(vcpu, r->reg);
+		u64 val = vcpu_read_sys_reg(vcpu, r->reg);
 		val &= ~(ACTLR_ELx_XCALL | ACTLR_ELx_XINT);
 		val |= (p->regval & (ACTLR_ELx_XCALL | ACTLR_ELx_XINT));
 		vcpu_write_sys_reg(vcpu, val, r->reg);