> On 12 Jun 2020, at 21:31, Julien Grall <[email protected]> wrote:
>
>
>
> On 12/06/2020 17:51, Bertrand Marquis wrote:
>
> Hi,
>
>>>> diff --git a/xen/include/asm-arm/domain.h b/xen/include/asm-arm/domain.h
>>>> index 4e2f582006..3a7f53e13d 100644
>>>> --- a/xen/include/asm-arm/domain.h
>>>> +++ b/xen/include/asm-arm/domain.h
>>>> @@ -11,6 +11,7 @@
>>>> #include <asm/vgic.h>
>>>> #include <asm/vpl011.h>
>>>> #include <public/hvm/params.h>
>>>> +#include <public/vcpu.h>
>>>
>>> Why do you need to add this new include?
>> Sorry I forgot to answer to this one.
>> This is needed to have the definition of vcpu_register_runstate_memory_area.
>
> I might be missing something because nothing you have added this header seem
> to require vcpu_register_runstate_memory_area. So should the include be done
> in a different header?
Right.
This was required before when I had the definitions of the interface per arch
to have a static inline for x86.
This is not needed and I will remove that include.
Cheers
Bertrand
