x86: don't report PV support when !CONFIG_PV
authorWei Liu <wei.liu2@citrix.com>
Thu, 4 Oct 2018 15:43:33 +0000 (16:43 +0100)
committerWei Liu <wei.liu2@citrix.com>
Sun, 14 Oct 2018 19:23:58 +0000 (20:23 +0100)
commitc49894090c22473c5477e780a829b0931a90b4f9
treef322a7871197834876edcce8a6868464377e981c
parent92666fdd6e0afab989b2d89759d9b43f2c645ae7
x86: don't report PV support when !CONFIG_PV

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/setup.c