Applied, thanks!
Flavio Cruz, le ven. 11 nov. 2022 00:36:41 -0500, a ecrit:
> ---
> include/mach/default_pager_types.defs | 17 +++++++++++++----
> 1 file changed, 13 insertions(+), 4 deletions(-)
>
> diff --git a/include/mach/default_pager_types.defs
> b/include/mach/default_pager_types.defs
> index bee7c259..398c62cd 100644
> --- a/include/mach/default_pager_types.defs
> +++ b/include/mach/default_pager_types.defs
> @@ -29,12 +29,21 @@
>
> #include <mach/std_types.defs>
>
> -type default_pager_info_t = struct[3] of natural_t;
> -
> -type default_pager_object_t = struct[2] of natural_t;
> +type default_pager_info_t = struct {
> + vm_size_t dpi_total_space;
> + vm_size_t dpi_free_space;
> + vm_size_t dpi_page_size;
> +};
> +
> +type default_pager_object_t = struct {
> + vm_offset_t dpo_object;
> + vm_size_t dpo_size;
> +};
> type default_pager_object_array_t = array[] of default_pager_object_t;
>
> -type default_pager_page_t = struct[1] of natural_t;
> +type default_pager_page_t = struct {
> + vm_offset_t dpp_offset;
> +};
> type default_pager_page_array_t = array[] of default_pager_page_t;
>
> type default_pager_filename_t = (MACH_MSG_TYPE_STRING_C, 8*256);
> --
> 2.37.2
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.
