[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH hurd] Fix build error for boot/boot.c
From: |
Samuel Thibault |
Subject: |
Re: [PATCH hurd] Fix build error for boot/boot.c |
Date: |
Sat, 8 Apr 2023 10:49:26 +0200 |
User-agent: |
NeoMutt/20170609 (1.8.3) |
Applied, thanks!
Flavio Cruz, le sam. 08 avril 2023 00:21:41 -0400, a ecrit:
> ---
> boot/boot.c | 13 -------------
> 1 file changed, 13 deletions(-)
>
> diff --git a/boot/boot.c b/boot/boot.c
> index 93dd9386..11970498 100644
> --- a/boot/boot.c
> +++ b/boot/boot.c
> @@ -47,7 +47,6 @@
> #include "device_reply_U.h"
> #include "io_reply_U.h"
> #include "term_S.h"
> -#include "bootstrap_S.h"
> /* #include "tioctl_S.h" */
> #include "mach_S.h"
> #include "mach_host_S.h"
> @@ -926,18 +925,6 @@ unlock_readlock (void)
> read_reply ();
> }
>
> -/*
> - * Handle bootstrap requests.
> - */
> -kern_return_t
> -do_bootstrap_privileged_ports(mach_port_t bootstrap,
> - mach_port_t *hostp,
> - mach_port_t *devicep)
> -{
> - *hostp = privileged_host_port;
> - *devicep = pseudo_master_device_port;
> - return KERN_SUCCESS;
> -}
>
> /* Implementation of device interface */
>
> --
> 2.39.2
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.