Applied, thanks!
Flavio Cruz, le ven. 29 déc. 2023 16:21:05 -0500, a ecrit:
> ---
> pfinet/stubs.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/pfinet/stubs.c b/pfinet/stubs.c
> index 9affcff..01ba2fa 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,
> --
> 2.39.2
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.
