On 14.09.2021 14:35, Juergen Gross wrote:
> --- a/xen/common/domain.c
> +++ b/xen/common/domain.c
> @@ -84,6 +84,9 @@ vcpu_info_t dummy_vcpu_info;
>
> bool __read_mostly vmtrace_available;
>
> +/* Unique domain identifier, protected by domctl lock. */
> +static uint64_t unique_id;
Unless a reason was given for this to live here, I think it wants to move ...
> @@ -473,6 +476,18 @@ static void _domain_destroy(struct domain *d)
> free_domain_struct(d);
> }
>
> +static uint64_t get_unique_id(void)
> +{
... here. Then
Reviewed-by: Jan Beulich <[email protected]>
Jan
