Lines Matching refs:vstimecmp

1249     *val = env->vstimecmp;  in read_vstimecmp()
1257     *val = env->vstimecmp >> 32;  in read_vstimecmph()
1266         env->vstimecmp = deposit64(env->vstimecmp, 0, 32, (uint64_t)val);  in write_vstimecmp()
1268         env->vstimecmp = val;  in write_vstimecmp()
1271     riscv_timer_write_timecmp(env, env->vstimer, env->vstimecmp,  in write_vstimecmp()
1280     env->vstimecmp = deposit64(env->vstimecmp, 32, 32, (uint64_t)val);  in write_vstimecmph()
1281     riscv_timer_write_timecmp(env, env->vstimer, env->vstimecmp,  in write_vstimecmph()
1291         *val = env->vstimecmp;  in read_stimecmp()
1303         *val = env->vstimecmp >> 32;  in read_stimecmph()
3867         riscv_timer_write_timecmp(env, env->vstimer, env->vstimecmp,  in write_htimedelta()
3895         riscv_timer_write_timecmp(env, env->vstimer, env->vstimecmp,  in write_htimedeltah()