Re: [PATCH v9 7/8] x86/time: add a domain context record for tsc_info...

[Wei Liu <wl@xxxxxxx>]

On Thu, Sep 24, 2020 at 02:10:29PM +0100, Paul Durrant wrote:
> From: Paul Durrant <pdurrant@xxxxxxxxxx>
> 
> ... and update xen-domctx to dump some information describing the record.
> 
> NOTE: Whilst the record definition is x86 specific, it is visible directly
>       in the common header as context record numbers should be unique across
>       all architectures.
> 
> Signed-off-by: Paul Durrant <pdurrant@xxxxxxxxxx>
> Reviewed-by: Jan Beulich <jbeulich@xxxxxxxx>

Acked-by: Wei Liu <wl@xxxxxxx>