RISCV_TIMER_REG
timer_freq = vcpu_get_reg(vcpus[0], RISCV_TIMER_REG(frequency));
timer_freq = vcpu_get_reg(vcpu, RISCV_TIMER_REG(frequency));