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.