73 	u64 val = 0x8badf00d8badf00d;  in vcpu_read_sys_reg()  local
82 void vcpu_write_sys_reg(struct kvm_vcpu *vcpu, u64 val, int reg)  in vcpu_write_sys_reg()
163 	u64 val, mask, shift;  in access_vm_reg()  local
280 	u64 val = read_sanitised_ftr_reg(SYS_ID_AA64MMFR1_EL1);  in trap_loregion()  local
375 	u64 mask, shift, val;  in reg_to_dbg()  local
608 	u64 pmcr, val;  in reset_pmcr()  local
660 	u64 val;  in access_pmcr()  local
724 	u64 pmcr, val;  in pmu_counter_idx_valid()  local
829 	u64 val, mask;  in access_pmcnten()  local
863 		u64 val = p->regval & mask;  in access_pminten()  local
1036 	u64 val = raz ? 0 : read_sanitised_ftr_reg(id);  in read_id_reg()  local
1144 	u64 val;  in set_id_aa64pfr0_el1()  local
1191 	const u64 val = read_id_reg(vcpu, rd, raz);  in __get_id_reg()  local
1202 	u64 val;  in __set_id_reg()  local
2445 static int reg_from_user(u64 *val, const void __user *uaddr, u64 id)  in reg_from_user()
2452 static int reg_to_user(void __user *uaddr, const u64 *val, u64 id)  in reg_to_user()
2477 	u64 val = 0; /* Make sure high bits are 0 for 32-bit regs */  in set_invariant_sys_reg()  local
2495 static bool is_valid_cache(u32 val)  in is_valid_cache()
2523 	u32 val;  in demux_c15_get()  local
2548 	u32 val, newval;  in demux_c15_set()  local
2640 	u64 val = KVM_REG_ARM64 | KVM_REG_SIZE_U32 | KVM_REG_ARM_DEMUX;  in write_demux_regids()  local