diff options
| -rw-r--r-- | pfinet/stubs.c | 2 |
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, |