x86/dom0: remove is_pv_domain leftovers from the PV domain builder
authorRoger Pau Monné <roger.pau@citrix.com>
Wed, 20 Dec 2017 09:00:16 +0000 (10:00 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 20 Dec 2017 09:00:16 +0000 (10:00 +0100)
commitd02ff298f6137a2612339d45183fcfc6847c8f05
tree0f6b3985187d8802b2973eedb86baf8cac55fc72
parentc2b0dd94548893cacda6e78d9125963d440ea870
x86/dom0: remove is_pv_domain leftovers from the PV domain builder

Those where added when PVHv1 was sharing the domain builder with PV.

Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/pv/dom0_build.c