diff --git a/src/libperipherals/common-io.c b/src/libperipherals/common-io.c
index edae12f55..68db2ae4f 100644
--- a/src/libperipherals/common-io.c
+++ b/src/libperipherals/common-io.c
@@ -141,6 +141,18 @@ initialize_sys_tick (void)
 
 }
 
+void
+set_sys_tick_counter(uint32_t set_value)
+{
+  sys_tick_counter = set_value;
+}
+
+uint32_t
+get_sys_tick_counter(void)
+{
+  return sys_tick_counter;
+}
+
 void SysTick_Handler(void) {
     time_tick_decrement();
 }
diff --git a/src/libperipherals/common-io.h b/src/libperipherals/common-io.h
index 85458058d..60abdf976 100644
--- a/src/libperipherals/common-io.h
+++ b/src/libperipherals/common-io.h
@@ -36,6 +36,9 @@ void SysTick_Handler(void);
 
 void time_tick_decrement(void);
 void wait_1ms(void);
+
+void set_sys_tick_counter(uint32_t);
+uint32_t get_sys_tick_counter(void);
 #endif
 
 #endif	/* COMMON_IO_H */