Re: [PATCH] Use mach_port_name in db_lookup_port

[Samuel Thibault]

Applied, thanks!

Flavio Cruz, le mar. 06 déc. 2022 23:57:49 -0500, a ecrit:
> ---
>  ddb/db_print.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/ddb/db_print.c b/ddb/db_print.c
> index 832faf57..8a76beea 100644
> --- a/ddb/db_print.c
> +++ b/ddb/db_print.c
> @@ -493,7 +493,7 @@ db_lookup_port(
>           return(0);
>       if (id < 0)
>           return(0);
> -     entry = ipc_entry_lookup(thread->task->itk_space, (mach_port_t) id);
> +     entry = ipc_entry_lookup(thread->task->itk_space, (mach_port_name_t) 
> id);
>       if (entry && entry->ie_bits & MACH_PORT_TYPE_PORT_RIGHTS)
>           return((ipc_port_t)entry->ie_object);
>       return(0);
> -- 
> 2.37.2
> 
> 

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