diff --git a/hw/application_fpga/fw/tk1_mem.h b/hw/application_fpga/fw/tk1_mem.h
index da26f2cc..36ffdc21 100644
--- a/hw/application_fpga/fw/tk1_mem.h
+++ b/hw/application_fpga/fw/tk1_mem.h
@@ -71,9 +71,6 @@
 #define TK1_MMIO_TRNG_STATUS_READY_BIT 0
 #define TK1_MMIO_TRNG_ENTROPY 0xc0000080
 
-#define TK1_MMIO_TIMER_CTRL 0xc1000020
-#define TK1_MMIO_TIMER_CTRL_START_BIT 0
-#define TK1_MMIO_TIMER_CTRL_STOP_BIT 1
 #define TK1_MMIO_TIMER_BASE 0xc1000000
 #define TK1_MMIO_TIMER_CTRL 0xc1000020
 #define TK1_MMIO_TIMER_CTRL_START_BIT 0