diff --git a/repos/pc/src/lib/wifi/generated_dummies.c b/repos/pc/src/lib/wifi/generated_dummies.c
index 73210cde4a..55fe99ad21 100644
--- a/repos/pc/src/lib/wifi/generated_dummies.c
+++ b/repos/pc/src/lib/wifi/generated_dummies.c
@@ -668,14 +668,6 @@ void kmem_cache_destroy(struct kmem_cache * s)
 }
 
 
-#include <linux/slab.h>
-
-void kmem_cache_free_bulk(struct kmem_cache * s,size_t size,void ** p)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
 #include <linux/kmsg_dump.h>
 
 void kmsg_dump(enum kmsg_dump_reason reason)
diff --git a/repos/pc/src/lib/wifi/lx_emul.c b/repos/pc/src/lib/wifi/lx_emul.c
index 7f21f6a1d2..54f26ca1b2 100644
--- a/repos/pc/src/lib/wifi/lx_emul.c
+++ b/repos/pc/src/lib/wifi/lx_emul.c
@@ -266,6 +266,16 @@ struct kmem_cache * kmem_cache_create_usercopy(const char * name,
 }
 
 
+void kmem_cache_free_bulk(struct kmem_cache *s, size_t size, void **p)
+{
+	size_t i;
+
+	for (i = 0; i < size; i++) {
+		kmem_cache_free(s, p[i]);
+	}
+}
+
+
 #include <linux/fs.h>
 
 int register_filesystem(struct file_system_type * fs)