123     uint64_t val;  in hvf_arm_num_brps()  local
133     uint64_t val;  in hvf_arm_num_wrps()  local
554     uint64_t val;  in hvf_get_registers()  local
693     uint64_t val;  in hvf_put_registers()  local
822 static void hvf_set_reg(CPUState *cpu, int rt, uint64_t val)  in hvf_set_reg()
836     uint64_t val = 0;  in hvf_get_reg()  local
867         uint64_t *val;  in hvf_arm_get_host_cpu_features()  member
1258 static bool hvf_sysreg_read_cp(CPUState *cpu, uint32_t reg, uint64_t *val)  in hvf_sysreg_read_cp()
1285 static int hvf_sysreg_read(CPUState *cpu, uint32_t reg, uint64_t *val)  in hvf_sysreg_read()
1537 static bool hvf_sysreg_write_cp(CPUState *cpu, uint32_t reg, uint64_t val)  in hvf_sysreg_write_cp()
1564 static int hvf_sysreg_write(CPUState *cpu, uint32_t reg, uint64_t val)  in hvf_sysreg_write()
2006         uint64_t val = 0;  in hvf_vcpu_exec()  local
2042         uint64_t val;  in hvf_vcpu_exec()  local