xen/domain: Introduce a new arch_sanitise_domain_config() helper
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 2 Oct 2018 14:02:55 +0000 (15:02 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 15 Nov 2018 11:11:30 +0000 (11:11 +0000)
commit78eb62977bf4d98b06bb80ad1739061dfa1c1414
treee44cea3ccb2b5de35f753e66e91d7ab1622dd4db
parent7c1a39fc51f0ce167c83fe4a195503e463388fc5
xen/domain: Introduce a new arch_sanitise_domain_config() helper

On the ARM side, lift the code to select the appropriate GIC version when
NATIVE is requested.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/domain.c
xen/arch/x86/domain.c
xen/common/domain.c
xen/include/xen/sched.h