icE1usb fw: Add access functions for the 'time' hardware
The hardware has a tick counter (constantly incremented every
cycle) and a pps counter (which is the tick counter captured
at the pps edge).
Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
Change-Id: I2122ea3d636c8a430c6eb945b0c11e26e02fee43
diff --git a/firmware/ice40-riscv/icE1usb/misc.h b/firmware/ice40-riscv/icE1usb/misc.h
index 76d5a7d..b72793f 100644
--- a/firmware/ice40-riscv/icE1usb/misc.h
+++ b/firmware/ice40-riscv/icE1usb/misc.h
@@ -36,4 +36,9 @@
uint16_t e1_tick_read(int port);
+bool time_elapsed(uint32_t ref, unsigned int tick);
+void delay(unsigned int ms);
+uint32_t time_pps_read(void);
+uint32_t time_now_read(void);
+
void reboot(int fw);