diff --git a/repos/pc/src/lib/pc_wifi/dummies.c b/repos/pc/src/lib/pc_wifi/dummies.c
index 91529182eb..d2b8a3a039 100644
--- a/repos/pc/src/lib/pc_wifi/dummies.c
+++ b/repos/pc/src/lib/pc_wifi/dummies.c
@@ -679,3 +679,11 @@ void iwlagn_led_enable(struct iwl_priv * priv)
 {
 	lx_emul_trace(__func__);
 }
+
+
+#include <linux/iommu.h>
+
+void iommu_device_unuse_default_domain(struct device * dev)
+{
+	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 ccee7cee2f..3d98e21b97 100644
--- a/repos/pc/src/lib/pc_wifi/generated_dummies.c
+++ b/repos/pc/src/lib/pc_wifi/generated_dummies.c
@@ -629,14 +629,6 @@ long __sched io_schedule_timeout(long timeout)
 struct io_tlb_mem io_tlb_default_mem;
 
 
-#include <linux/iommu.h>
-
-void iommu_device_unuse_default_domain(struct device * dev)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
 #include <linux/uio.h>
 
 void iov_iter_kvec(struct iov_iter * i,unsigned int direction,const struct kvec * kvec,unsigned long nr_segs,size_t count)