Hi Michal, On 06/07/2021 11:28, Michal Orzel 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>
Acked-by: Julien Grall <jgr...@amazon.com> Cheers, -- Julien Grall
