Re: [PATCH v3 04/11] {linux,bsd}-user: Pass pid to fork_end()

[Richard Henderson]

On 2/16/24 03:05, Ilya Leoshkevich wrote:
> diff --git a/linux-user/user-internals.h b/linux-user/user-internals.h
> index c63ef45fc78..9014014d920 100644
> --- a/linux-user/user-internals.h
> +++ b/linux-user/user-internals.h
> @@ -71,7 +71,7 @@ const char *target_strerror(int err);
>   int get_osversion(void);
>   void init_qemu_uname_release(void);
>   void fork_start(void);
> -void fork_end(int child);
> +void fork_end(abi_long pid);

Use pid_t.  There's nothing guest specific about the value here.

Otherwise,
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>


r~