diff --git a/platforms/chibios/boards/GENERIC_PROMICRO_RP2040/configs/chconf.h b/platforms/chibios/boards/GENERIC_PROMICRO_RP2040/configs/chconf.h
index eae6dcc529..28eb8fcf9e 100644
--- a/platforms/chibios/boards/GENERIC_PROMICRO_RP2040/configs/chconf.h
+++ b/platforms/chibios/boards/GENERIC_PROMICRO_RP2040/configs/chconf.h
@@ -11,7 +11,9 @@
 #define CH_CFG_ST_TIMEDELTA                 0
 
 /* Workaround a bug in chibios where port_timer_enable is not defined for RP2040 in tick mode */
+#if !defined(_FROM_ASM_)
 void stBind(void);
 #define port_timer_enable(oip) stBind()
+#endif
 
 #include_next <chconf.h>
diff --git a/platforms/chibios/boards/GENERIC_RP_RP2040/configs/chconf.h b/platforms/chibios/boards/GENERIC_RP_RP2040/configs/chconf.h
index eae6dcc529..28eb8fcf9e 100644
--- a/platforms/chibios/boards/GENERIC_RP_RP2040/configs/chconf.h
+++ b/platforms/chibios/boards/GENERIC_RP_RP2040/configs/chconf.h
@@ -11,7 +11,9 @@
 #define CH_CFG_ST_TIMEDELTA                 0
 
 /* Workaround a bug in chibios where port_timer_enable is not defined for RP2040 in tick mode */
+#if !defined(_FROM_ASM_)
 void stBind(void);
 #define port_timer_enable(oip) stBind()
+#endif
 
 #include_next <chconf.h>
diff --git a/platforms/chibios/boards/QMK_PM2040/configs/chconf.h b/platforms/chibios/boards/QMK_PM2040/configs/chconf.h
index eae6dcc529..28eb8fcf9e 100644
--- a/platforms/chibios/boards/QMK_PM2040/configs/chconf.h
+++ b/platforms/chibios/boards/QMK_PM2040/configs/chconf.h
@@ -11,7 +11,9 @@
 #define CH_CFG_ST_TIMEDELTA                 0
 
 /* Workaround a bug in chibios where port_timer_enable is not defined for RP2040 in tick mode */
+#if !defined(_FROM_ASM_)
 void stBind(void);
 #define port_timer_enable(oip) stBind()
+#endif
 
 #include_next <chconf.h>