Re: [PATCH gnumach] Delete include/mach/default_pager_helper.defs

[Samuel Thibault]

Applied, thanks!

Flavio Cruz, le dim. 09 avril 2023 22:35:10 -0400, a ecrit:
> Not used.
> ---
>  Makefrag.am                            |  1 -
>  include/mach/default_pager_helper.defs | 53 --------------------------
>  2 files changed, 54 deletions(-)
>  delete mode 100644 include/mach/default_pager_helper.defs
> 
> diff --git a/Makefrag.am b/Makefrag.am
> index 5d4f2c48..50389ad7 100644
> --- a/Makefrag.am
> +++ b/Makefrag.am
> @@ -368,7 +368,6 @@ include_device_HEADERS = \
>  include_machdir = $(includedir)/mach
>  include_mach_HEADERS = \
>       include/mach/default_pager.defs \
> -     include/mach/default_pager_helper.defs \
>       include/mach/default_pager_types.defs \
>       include/mach/exc.defs \
>       include/mach/mach.defs \
> diff --git a/include/mach/default_pager_helper.defs 
> b/include/mach/default_pager_helper.defs
> deleted file mode 100644
> index a8a9f78d..00000000
> --- a/include/mach/default_pager_helper.defs
> +++ /dev/null
> @@ -1,53 +0,0 @@
> -/* 
> - * Mach Operating System
> - * Copyright (c) 1992 Carnegie Mellon University
> - * All Rights Reserved.
> - * 
> - * Permission to use, copy, modify and distribute this software and its
> - * documentation is hereby granted, provided that both the copyright
> - * notice and this permission notice appear in all copies of the
> - * software, derivative works or modified versions, and any portions
> - * thereof, and that both notices appear in supporting documentation.
> - * 
> - * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
> - * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
> - * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
> - * 
> - * Carnegie Mellon requests users of this software to return to
> - * 
> - *  Software Distribution Coordinator  or  Software.Distribution@CS.CMU.EDU
> - *  School of Computer Science
> - *  Carnegie Mellon University
> - *  Pittsburgh PA 15213-3890
> - * 
> - * any improvements or extensions that they make and grant Carnegie Mellon 
> - * the rights to redistribute these changes.
> - */
> -
> -subsystem dp_helper 888888;
> -
> -#include <mach/std_types.defs>
> -#include <mach/mach_types.defs>
> -
> -ServerPrefix do_;
> -
> -/*
> - *   Message that the default pager sends to
> - *   a fileserver who has registered itself
> - *   with the default pager as a "paging helper"
> - *   to notify that more paging spage is or
> - *   is not needed.  Same message to let the
> - *   fileserver know it can (ask to) reclaim space.
> - *
> - *   This message is only sent to a port that
> - *   has been previously registered via
> - *   default_pager_register_fileserver.
> - *   The (optional) reply from the fileserver
> - *   is a call to default_pager_paging_file.
> - */
> -
> -simpleroutine dp_helper_paging_space(
> -             dp_helper               : mach_port_t;
> -             space_shortage          : boolean_t;
> -             approx_amount           : vm_size_t);
> -
> -- 
> 2.39.2
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.