diff --git a/src/platforms/jeff/platform.c b/src/platforms/jeff/platform.c
index 7fbc6db3..9e07420b 100644
--- a/src/platforms/jeff/platform.c
+++ b/src/platforms/jeff/platform.c
@@ -325,3 +325,15 @@ void tc3_isr(void)
 	if (tc_interrupt_flag(3) & 16)
 		scb_reset_system();
 }
+
+uint32_t swd_delay_cnt = 0;
+
+void platform_max_frequency_set(uint32_t freq)
+{
+	(void)freq;
+}
+
+uint32_t platform_max_frequency_get(void)
+{
+	return 0;
+}
diff --git a/src/platforms/jeff/platform.h b/src/platforms/jeff/platform.h
index 996c5837..92d3c902 100644
--- a/src/platforms/jeff/platform.h
+++ b/src/platforms/jeff/platform.h
@@ -47,6 +47,7 @@
 #define PLATFORM_IDENT          " "
 
 extern uint8_t running_status;
+extern uint32_t swd_delay_cnt;
 
 #ifdef DEBUG_ME