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
>
