From a942efd92b240f82ef17b09fa547535f0f71f3e7 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 11 Oct 2023 15:36:58 +0200
Subject: [PATCH] pc: remove software_node_notify from common dummies

Issue #5036
---
 repos/pc/src/drivers/framebuffer/intel/pc/dummies.c | 9 +++++++++
 repos/pc/src/drivers/nic/pc/dummies.c               | 8 ++++++++
 repos/pc/src/drivers/usb_host/pc/dummies.c          | 9 +++++++++
 repos/pc/src/lib/pc/lx_emul/common_dummies.c        | 9 ---------
 repos/pc/src/lib/pc_wifi/dummies.c                  | 9 +++++++++
 5 files changed, 35 insertions(+), 9 deletions(-)

diff --git a/repos/pc/src/drivers/framebuffer/intel/pc/dummies.c b/repos/pc/src/drivers/framebuffer/intel/pc/dummies.c
index ed2978c8bd..5c8b362b26 100644
--- a/repos/pc/src/drivers/framebuffer/intel/pc/dummies.c
+++ b/repos/pc/src/drivers/framebuffer/intel/pc/dummies.c
@@ -776,3 +776,12 @@ int __register_chrdev(unsigned int major,unsigned int baseminor,unsigned int cou
 	lx_emul_trace(__func__);
 	return 0;
 }
+
+
+#include <linux/property.h>
+
+int software_node_notify(struct device * dev,unsigned long action)
+{
+	lx_emul_trace(__func__);
+	return 0;
+}
diff --git a/repos/pc/src/drivers/nic/pc/dummies.c b/repos/pc/src/drivers/nic/pc/dummies.c
index a8fc0ea3db..f2b2e3a603 100644
--- a/repos/pc/src/drivers/nic/pc/dummies.c
+++ b/repos/pc/src/drivers/nic/pc/dummies.c
@@ -397,3 +397,11 @@ void dst_release(struct dst_entry * dst)
 {
 	lx_emul_trace(__func__);
 }
+
+#include <linux/property.h>
+
+int software_node_notify(struct device * dev,unsigned long action)
+{
+	lx_emul_trace(__func__);
+	return 0;
+}
diff --git a/repos/pc/src/drivers/usb_host/pc/dummies.c b/repos/pc/src/drivers/usb_host/pc/dummies.c
index af452a7bb3..65ae008d58 100644
--- a/repos/pc/src/drivers/usb_host/pc/dummies.c
+++ b/repos/pc/src/drivers/usb_host/pc/dummies.c
@@ -241,3 +241,12 @@ int __register_chrdev(unsigned int major,unsigned int baseminor,unsigned int cou
 	lx_emul_trace(__func__);
 	return 0;
 }
+
+
+#include <linux/property.h>
+
+int software_node_notify(struct device * dev,unsigned long action)
+{
+	lx_emul_trace(__func__);
+	return 0;
+}
diff --git a/repos/pc/src/lib/pc/lx_emul/common_dummies.c b/repos/pc/src/lib/pc/lx_emul/common_dummies.c
index 0455d3b7c2..04bd843d47 100644
--- a/repos/pc/src/lib/pc/lx_emul/common_dummies.c
+++ b/repos/pc/src/lib/pc/lx_emul/common_dummies.c
@@ -246,15 +246,6 @@ void seq_vprintf(struct seq_file * m,const char * f,va_list args)
 }
 
 
-#include <linux/property.h>
-
-int software_node_notify(struct device * dev,unsigned long action)
-{
-	lx_emul_trace(__func__);
-	return 0;
-}
-
-
 extern void pci_allocate_vc_save_buffers(struct pci_dev * dev);
 void pci_allocate_vc_save_buffers(struct pci_dev * dev)
 {
diff --git a/repos/pc/src/lib/pc_wifi/dummies.c b/repos/pc/src/lib/pc_wifi/dummies.c
index b77759e9fb..3fbc4cc0fd 100644
--- a/repos/pc/src/lib/pc_wifi/dummies.c
+++ b/repos/pc/src/lib/pc_wifi/dummies.c
@@ -581,3 +581,12 @@ char * strreplace(char * s,char old,char new)
 {
 	lx_emul_trace_and_stop(__func__);
 }
+
+
+#include <linux/property.h>
+
+int software_node_notify(struct device * dev,unsigned long action)
+{
+	lx_emul_trace(__func__);
+	return 0;
+}