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? Jan
