From fc374419110346448aa0bb8ccfcdfd962786d866 Mon Sep 17 00:00:00 2001 From: Eyck-Alexander Jentzsch Date: Thu, 21 Aug 2025 11:47:01 +0200 Subject: [PATCH] corrects setting of mtimecmp in aclint to be as recommended in the spec --- include/minres/devices/aclint.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/minres/devices/aclint.h b/include/minres/devices/aclint.h index e9337b9..a471c05 100644 --- 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); }