Hi Michal, > On 6 Jul 2021, at 11:28, Michal Orzel <michal.or...@arm.com> wrote: > > Function arch_initialise_vcpu is not reachable as the > VCPUOP_initialise is an unsupported operation on arm. > Modify the function by adding ASSERT_UNREACHABLE() and > returning -EOPNOTSUPP. > > Suggested-by: Jan Beulich <jbeul...@suse.com> > Signed-off-by: Michal Orzel <michal.or...@arm.com> Reviewed-by: Bertrand Marquis <bertrand.marq...@arm.com>
Cheers Bertrand > --- > xen/arch/arm/domain.c | 3 ++- > 1 file changed, 2 insertions(+), 1 deletion(-) > > diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c > index c021a03c61..a2aa8b77ad 100644 > --- a/xen/arch/arm/domain.c > +++ b/xen/arch/arm/domain.c > @@ -923,7 +923,8 @@ int arch_set_info_guest( > > int arch_initialise_vcpu(struct vcpu *v, XEN_GUEST_HANDLE_PARAM(void) arg) > { > - return default_initialise_vcpu(v, arg); > + ASSERT_UNREACHABLE(); > + return -EOPNOTSUPP; > } > > int arch_vcpu_reset(struct vcpu *v) > -- > 2.29.0 >