diff --git a/repos/pc/src/lib/pc_wifi/dummies.c b/repos/pc/src/lib/pc_wifi/dummies.c
index 64393aa5c2..91529182eb 100644
--- a/repos/pc/src/lib/pc_wifi/dummies.c
+++ b/repos/pc/src/lib/pc_wifi/dummies.c
@@ -651,3 +651,31 @@ int pinctrl_init_done(struct device * dev)
 	lx_emul_trace(__func__);
 	return 0;
 }
+
+
+extern void iwl_leds_exit(struct iwl_priv * priv);
+void iwl_leds_exit(struct iwl_priv * priv)
+{
+	lx_emul_trace(__func__);
+}
+
+
+extern void iwl_leds_init(struct iwl_priv * priv);
+void iwl_leds_init(struct iwl_priv * priv)
+{
+	lx_emul_trace(__func__);
+}
+
+
+extern void iwl_mvm_leds_exit(struct iwl_mvm * mvm);
+void iwl_mvm_leds_exit(struct iwl_mvm * mvm)
+{
+	lx_emul_trace(__func__);
+}
+
+
+extern void iwlagn_led_enable(struct iwl_priv * priv);
+void iwlagn_led_enable(struct iwl_priv * priv)
+{
+	lx_emul_trace(__func__);
+}
diff --git a/repos/pc/src/lib/pc_wifi/generated_dummies.c b/repos/pc/src/lib/pc_wifi/generated_dummies.c
index dfc76f89a0..ccee7cee2f 100644
--- a/repos/pc/src/lib/pc_wifi/generated_dummies.c
+++ b/repos/pc/src/lib/pc_wifi/generated_dummies.c
@@ -661,34 +661,6 @@ void irq_work_tick(void)
 }
 
 
-extern void iwl_leds_exit(struct iwl_priv * priv);
-void iwl_leds_exit(struct iwl_priv * priv)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
-extern void iwl_leds_init(struct iwl_priv * priv);
-void iwl_leds_init(struct iwl_priv * priv)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
-extern void iwl_mvm_leds_exit(struct iwl_mvm * mvm);
-void iwl_mvm_leds_exit(struct iwl_mvm * mvm)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
-extern void iwlagn_led_enable(struct iwl_priv * priv);
-void iwlagn_led_enable(struct iwl_priv * priv)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
 #include <linux/kobject.h>
 
 struct kobject *kernel_kobj;