Re: [PATCH] Remove unused db_lookup_port

[Samuel Thibault]

Applied, thanks!

Flavio Cruz, le lun. 09 janv. 2023 00:27:30 -0500, a ecrit:
> ---
>  ddb/db_print.c | 17 -----------------
>  1 file changed, 17 deletions(-)
> 
> diff --git a/ddb/db_print.c b/ddb/db_print.c
> index 6d4c59d3..3fbafe74 100644
> --- a/ddb/db_print.c
> +++ b/ddb/db_print.c
> @@ -480,23 +480,6 @@ db_port_iterate(const thread_t thread, void (*func)(int, 
> const ipc_port_t, unsig
>       return(n);
>  }
>  
> -ipc_port_t
> -db_lookup_port(
> -     thread_t        thread,
> -     int             id)
> -{
> -     ipc_entry_t entry;
> -
> -     if (thread == THREAD_NULL)
> -         return(0);
> -     if (id < 0)
> -         return(0);
> -     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);
> -}
> -
>  static void
>  db_print_port_id(int id, const ipc_port_t port, unsigned bits, int n)
>  {
> -- 
> 2.37.2
> 
> 

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