123     uint64_t val;  in hvf_arm_num_brps()  local
133     uint64_t val;  in hvf_arm_num_wrps()  local
555     uint64_t val;  in hvf_get_registers()  local
694     uint64_t val;  in hvf_put_registers()  local
823 static void hvf_set_reg(CPUState *cpu, int rt, uint64_t val)  in hvf_set_reg()
837     uint64_t val = 0;  in hvf_get_reg()  local
868         uint64_t *val;  in hvf_arm_get_host_cpu_features()  member
1259 static bool hvf_sysreg_read_cp(CPUState *cpu, uint32_t reg, uint64_t *val)  in hvf_sysreg_read_cp()
1289 static int hvf_sysreg_read(CPUState *cpu, uint32_t reg, uint64_t *val)  in hvf_sysreg_read()
1542 static bool hvf_sysreg_write_cp(CPUState *cpu, uint32_t reg, uint64_t val)  in hvf_sysreg_write_cp()
1572 static int hvf_sysreg_write(CPUState *cpu, uint32_t reg, uint64_t val)  in hvf_sysreg_write()
2018         uint64_t val = 0;  in hvf_vcpu_exec()  local
2054         uint64_t val;  in hvf_vcpu_exec()  local