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?
Cheers,
--
Julien Grall
