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);
 }