Hi Jan,
On 7/28/22 12:26, Jan Beulich wrote:
On 28.07.2022 09:57, Xenia Ragiadakou wrote:
--- a/xen/arch/arm/include/asm/current.h
+++ b/xen/arch/arm/include/asm/current.h
@@ -44,8 +44,11 @@ static inline struct cpu_info *get_cpu_info(void)
#define guest_cpu_user_regs() (&get_cpu_info()->guest_cpu_user_regs)
+extern void return_to_new_vcpu32(void);
+extern void return_to_new_vcpu64(void);
While ultimately it's the Arm maintainers to judge, may I suggest that
these be put in arm/domain.c to limit visibility?
I agree with you. Will fix and resend.
--
Xenia
