corrects setting of mtimecmp in aclint to be as recommended in the spec

2025-08-21 11:47:01 +02:00
parent b5cee82f3e
commit fc37441911
1 changed files with 1 additions and 0 deletions
--- a/include/minres/devices/aclint.h
+++ b/include/minres/devices/aclint.h
@@ -16,6 +16,7 @@ static uint64_t get_aclint_mtime(volatile aclint_t* reg){
 }

 static void set_aclint_mtimecmp(volatile aclint_t* reg, uint64_t value){
+    set_aclint_mtimecmp0lo(reg, (uint32_t)0xFFFFFFFF);
    set_aclint_mtimecmp0hi(reg, (uint32_t)(value >> 32));
    set_aclint_mtimecmp0lo(reg, (uint32_t)value);
 }