> On 18 May 2023, at 19:30, Julien Grall <jul...@xen.org> wrote: > > Hi Luca, > > One more remark. > > On 24/04/2023 07:02, Luca Fancellu wrote: >> #else /* !CONFIG_ARM64_SVE */ >> @@ -46,6 +50,15 @@ static inline unsigned int get_sys_vl_len(void) >> return 0; >> } >> +static inline int sve_context_init(struct vcpu *v) >> +{ >> + return 0; > > The call is protected by is_domain_sve(). So I think we want to return an > error just in case someone is calling it outside of its intended use.
Regarding this one, since it should not be called when SVE is not enabled, are you ok if I’ll do this: static inline int sve_context_init(struct vcpu *v) { ASSERT_UNREACHABLE(); return 0; } > >> +} >> + >> +static inline void sve_context_free(struct vcpu *v) {} >> +static inline void sve_save_state(struct vcpu *v) {} >> +static inline void sve_restore_state(struct vcpu *v) {} >> + > > -- > Julien Grall