Re: [PATCH] [x86_64] dev_pager.c: use mach_msg_type_number_t

[Samuel Thibault]

Applied, thanks!

Flavio Cruz, le lun. 23 janv. 2023 23:48:03 -0500, a ecrit:
> Otherwise it will fail to compile due to conflicting types.
> ---
>  device/dev_pager.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/device/dev_pager.c b/device/dev_pager.c
> index 728be036..d9d22489 100644
> --- a/device/dev_pager.c
> +++ b/device/dev_pager.c
> @@ -494,7 +494,7 @@ device_pager_data_return(
>       const ipc_port_t        pager_request,
>       vm_offset_t             offset,
>       pointer_t               addr,
> -     vm_size_t               data_cnt,
> +     mach_msg_type_number_t  data_cnt,
>       boolean_t               dirty,
>       boolean_t               kernel_copy)
>  {
> -- 
> 2.39.0
> 
> 

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