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.
