From fcdd81e40add9099cb052330dfebed319441b4d4 Mon Sep 17 00:00:00 2001
From: aottaviano <aottaviano@iis.ee.ethz.ch>
Date: Fri, 24 Mar 2023 01:04:38 +0100
Subject: [PATCH] include: Add timer APIs

---
 include/archi/chips/safety-island/memory_map.h | 4 ++++
 include/hal/chips/safety-island/pulp.h         | 2 ++
 include/pulp.h                                 | 2 +-
 3 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/include/archi/chips/safety-island/memory_map.h b/include/archi/chips/safety-island/memory_map.h
index bf68b53..7f84a09 100644
--- a/include/archi/chips/safety-island/memory_map.h
+++ b/include/archi/chips/safety-island/memory_map.h
@@ -65,4 +65,8 @@
 #define ARCHI_HMR_ADDR              ( ARCHI_SAFETY_ISLAND_PERIPHERALS_ADDR + ARCHI_HMR_OFFSET )
 #define ARCHI_STDOUT_ADDR           ( ARCHI_SAFETY_ISLAND_PERIPHERALS_ADDR + ARCHI_STDOUT_OFFSET )
 
+#define ARCHI_FC_TIMER_SIZE            0x00000800
+#define ARCHI_FC_TIMER_OFFSET          0x0000B000
+#define ARCHI_FC_TIMER_ADDR            ( ARCHI_SAFETY_ISLAND_PERIPHERALS_ADDR + ARCHI_FC_TIMER_OFFSET )
+
 #endif
diff --git a/include/hal/chips/safety-island/pulp.h b/include/hal/chips/safety-island/pulp.h
index b010c6c..aceb4a0 100644
--- a/include/hal/chips/safety-island/pulp.h
+++ b/include/hal/chips/safety-island/pulp.h
@@ -21,5 +21,7 @@
 #include "hal/cv32e40p/cv32e40p.h"
 
 #include "hal/apb_soc/safety_soc_ctrl.h"
+#include "hal/timer/timer_v2.h"
+//#include "hal/cluster_ctrl/cluster_ctrl_v2.h" // TODO Add me!
 
 #endif
diff --git a/include/pulp.h b/include/pulp.h
index 0468656..7dfd6f6 100755
--- a/include/pulp.h
+++ b/include/pulp.h
@@ -31,7 +31,7 @@ typedef enum {
 } pi_freq_domain_e;
 
 #include <stdint.h>
-// #include <bench/bench.h>
+#include <bench/bench.h>
 #include <data/data.h>
 #include <implem/implem.h>
 #include <archi/pulp.h>