From bd0c680ec85c8bc88d499f94d707d19a7fe32d52 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 16 Aug 2023 12:44:52 +0200
Subject: [PATCH] pc_nic_drv: implement dst_release

---
 repos/pc/src/drivers/nic/pc/dummies.c                  |  7 +++++++
 .../src/drivers/nic/pc/spec/x86_32/generated_dummies.c | 10 +---------
 .../src/drivers/nic/pc/spec/x86_64/generated_dummies.c | 10 +---------
 3 files changed, 9 insertions(+), 18 deletions(-)

diff --git a/repos/pc/src/drivers/nic/pc/dummies.c b/repos/pc/src/drivers/nic/pc/dummies.c
index 859571944e..a8fc0ea3db 100644
--- a/repos/pc/src/drivers/nic/pc/dummies.c
+++ b/repos/pc/src/drivers/nic/pc/dummies.c
@@ -390,3 +390,10 @@ int net_ratelimit(void)
 	/* suppress */
 	return 0;
 }
+
+#include <net/dst.h>
+
+void dst_release(struct dst_entry * dst)
+{
+	lx_emul_trace(__func__);
+}
diff --git a/repos/pc/src/drivers/nic/pc/spec/x86_32/generated_dummies.c b/repos/pc/src/drivers/nic/pc/spec/x86_32/generated_dummies.c
index 93e6eb65a8..3e56e9cb68 100644
--- a/repos/pc/src/drivers/nic/pc/spec/x86_32/generated_dummies.c
+++ b/repos/pc/src/drivers/nic/pc/spec/x86_32/generated_dummies.c
@@ -1,7 +1,7 @@
 /*
  * \brief  Dummy definitions of Linux Kernel functions
  * \author Automatically generated file - do no edit
- * \date   2023-06-22
+ * \date   2023-08-09
  */
 
 #include <lx_emul.h>
@@ -232,14 +232,6 @@ void do_trace_netlink_extack(const char * msg)
 }
 
 
-#include <net/dst.h>
-
-void dst_release(struct dst_entry * dst)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
 #include <linux/printk.h>
 
 asmlinkage __visible void dump_stack(void)
diff --git a/repos/pc/src/drivers/nic/pc/spec/x86_64/generated_dummies.c b/repos/pc/src/drivers/nic/pc/spec/x86_64/generated_dummies.c
index dc01e06b6b..2c724dfc0b 100644
--- a/repos/pc/src/drivers/nic/pc/spec/x86_64/generated_dummies.c
+++ b/repos/pc/src/drivers/nic/pc/spec/x86_64/generated_dummies.c
@@ -1,7 +1,7 @@
 /*
  * \brief  Dummy definitions of Linux Kernel functions
  * \author Automatically generated file - do no edit
- * \date   2023-06-21
+ * \date   2023-08-09
  */
 
 #include <lx_emul.h>
@@ -240,14 +240,6 @@ void do_trace_netlink_extack(const char * msg)
 }
 
 
-#include <net/dst.h>
-
-void dst_release(struct dst_entry * dst)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
 #include <linux/printk.h>
 
 asmlinkage __visible void dump_stack(void)