adds csr access functions

env/riscv_vp/platform.h

@@ -21,6 +21,7 @@
 #include "minres/devices/qspi.h"
 #include "minres/devices/timer.h"
 #include "minres/devices/uart.h"
+#include <riscv/riscv_csr.h>
 
 #define PERIPH(TYPE, ADDR) ((volatile TYPE*)(ADDR))
 // values from memory_map.ld

include/minres/devices/aclint.h

@@ -1,9 +1,8 @@
 #ifndef _DEVICES_ACLINT_H
 #define _DEVICES_ACLINT_H
 
-#include <stdint.h>
 #include "gen/aclint.h"
-
+#include <stdint.h>
 
 static void set_aclint_mtime(volatile aclint_t* reg, uint64_t value) {
     set_aclint_mtime_hi(reg, (uint32_t)(value >> 32));
@@ -11,8 +10,18 @@ static void set_aclint_mtime(volatile aclint_t* reg, uint64_t value){
 }
 
 static uint64_t get_aclint_mtime(volatile aclint_t* reg) {
-    uint64_t value = ((uint64_t)get_aclint_mtime_hi(reg) << 32) | (uint64_t)get_aclint_mtime_lo(reg);
+    // #if ( __riscv_xlen == 64)
-    return value;
+    //     volatile uint64_t *mtime = (volatile uint64_t *)(RISCV_MTIME_ADDR);
+    //     return *mtime;
+    // #else
+    uint32_t mtimeh_val;
+    uint32_t mtimel_val;
+    do {
+        mtimeh_val = get_aclint_mtime_hi(reg);
+        mtimel_val = get_aclint_mtime_lo(reg);
+    } while(mtimeh_val != get_aclint_mtime_hi(reg));
+    return (uint64_t)((((uint64_t)mtimeh_val) << 32) | mtimel_val);
+    // #endif
 }
 
 static void set_aclint_mtimecmp(volatile aclint_t* reg, uint64_t value) {