summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlavio Cruz <flaviocruz@gmail.com>2023-12-29 16:21:05 -0500
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-12-29 22:45:34 +0100
commit8d8520bb9957c6a45cdaf9566134e474e84d4fde (patch)
tree5eb169e8583a5f6a38c27dad2234047557ae9dc1
parentd82e9b2785c0580f9a3bc09f3d3194ccaf7c50ac (diff)
pfinet: fix type alias
Message-ID: <20231229212105.858759-11-flaviocruz@gmail.com>
-rw-r--r--pfinet/stubs.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/pfinet/stubs.c b/pfinet/stubs.c
index 9affcff5..01ba2fab 100644
--- a/pfinet/stubs.c
+++ b/pfinet/stubs.c
@@ -50,7 +50,7 @@ void dev_activate (struct device *)
__attribute__ ((alias ("dev_init_scheduler")));
void dev_deactivate (struct device *)
__attribute__ ((alias ("dev_init_scheduler")));
-void tcp_ioctl (void) __attribute__ ((alias ("dev_init_scheduler")));
+void tcp_ioctl (struct device *) __attribute__ ((alias ("dev_init_scheduler")));
/* This isn't quite a stub, but it's not quite right either. */
__u32 secure_tcp_sequence_number(__u32 saddr, __u32 daddr,