fix: sync DCZID_EL0 #86

parsa-epfl · Nov 28, 2024 · 75d8e96 · 75d8e96
1 parent a5ef63e
commit 75d8e96
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/components/uArch/systemRegister.cpp b/components/uArch/systemRegister.cpp
@@ -228,8 +228,9 @@ class DCZID_EL0_ : public SysRegInfo
     uint64_t resetvalue                   = -1;
 
     virtual uint64_t readfn(uArch* aCore) override { return aCore->readDCZID_EL0(); }
-    // No need for sync, effects are done by the readfn
-    virtual void sync(uArch* aCore, size_t theNode) override {}
+    virtual void writefn(uArch* aCore, uint64_t aVal) override {
+      aCore->setDCZID_EL0(aVal);
+    }
     DCZID_EL0_()
       : SysRegInfo("DCZID_EL0_",
                    DCZID_EL0_::state,