We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c4ded3b commit b23e458Copy full SHA for b23e458
src/arch/riscv/vm.c
@@ -44,13 +44,6 @@ void vcpu_arch_reset(struct vcpu* vcpu, vaddr_t entry)
44
vcpu->regs.a0 = vcpu->arch.hart_id = vcpu->id;
45
vcpu->regs.a1 = 0; // according to sbi it should be the dtb load address
46
47
- if (CPU_HAS_EXTENSION(CPU_EXT_SSTC)) {
48
- csrs_stimecmp_write(~0U);
49
- csrs_henvcfg_set(HENVCFG_STCE);
50
- } else {
51
- csrs_henvcfg_clear(HENVCFG_STCE);
52
- }
53
-
54
csrs_hcounteren_write(HCOUNTEREN_TM);
55
csrs_htimedelta_write(0);
56
csrs_vsstatus_write(SSTATUS_SD | SSTATUS_FS_DIRTY | SSTATUS_XS_DIRTY);
0 commit comments