7; ; 'Julien Grall' ;
> 'Stefano Stabellini'
>
> Subject: Re: [PATCH v3 4/5] common/domain: add a domain context record for
> shared_info...
>
> On 19.05.2020 17:21, Paul Durrant wrote:
> >> From: Jan Beulich
> >> Sent: 19 May 2020
On 19.05.2020 17:21, Paul Durrant wrote:
>> From: Jan Beulich
>> Sent: 19 May 2020 15:08
>>
>> On 14.05.2020 12:44, Paul Durrant wrote:
>>> --- a/xen/include/public/save.h
>>> +++ b/xen/include/public/save.h
>>> @@ -73,7 +73,16 @@ struct domain_save_header {
>>> };
>>> DECLARE_DOMAIN_SAVE_TYPE(H
ct: Re: [PATCH v3 4/5] common/domain: add a domain context record for
> shared_info...
>
> On 14.05.2020 12:44, Paul Durrant wrote:
> > @@ -61,6 +62,76 @@ static void dump_header(void)
> >
> > }
> >
> > +static void print_binary(const cha
On 14.05.2020 12:44, Paul Durrant wrote:
> @@ -61,6 +62,76 @@ static void dump_header(void)
>
> }
>
> +static void print_binary(const char *prefix, void *val, size_t size,
const also for val?
> + const char *suffix)
> +{
> +printf("%s", prefix);
> +
> +while (
From: Paul Durrant
... and update xen-domctx to dump some information describing the record.
NOTE: The domain may or may not be using the embedded vcpu_info array so
ultimately separate context records will be added for vcpu_info when
this becomes necessary.
Signed-off-by: Paul Durr