arm: Fix arch_initialise_vcpu to be unsupported
authorMichal Orzel <michal.orzel@arm.com>
Tue, 6 Jul 2021 10:28:53 +0000 (12:28 +0200)
committerJulien Grall <jgrall@amazon.com>
Wed, 7 Jul 2021 13:05:40 +0000 (14:05 +0100)
commit63fdea768d175e96443a53b95a6441f520743e2e
treea9e3615e7d37c5922221538f781bca13641835bb
parent32cbc7f96ffa3ddceacb3812da0e31a82840b138
arm: Fix arch_initialise_vcpu to be unsupported

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 <jbeulich@suse.com>
Signed-off-by: Michal Orzel <michal.orzel@arm.com>
Reviewed-by: Bertrand Marquis <bertrand.marquis@arm.com>
Acked-by: Julien Grall <jgrall@amazon.com>
xen/arch/arm/domain.c