x86/pvh: fix TSC mode setup for PVH Dom0
authorRoger Pau Monné <roger.pau@citrix.com>
Wed, 31 Oct 2018 16:58:15 +0000 (17:58 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 31 Oct 2018 16:58:15 +0000 (17:58 +0100)
commitac25bf3b236943fb799945c2bece779ba67bc44e
tree71d3001043c9d235c660461077410e7eda331e7b
parentee91031be2852b9e132fddbc00a6eee38e6e23fc
x86/pvh: fix TSC mode setup for PVH Dom0

A PVH Dom0 might use TSC scaling or other HVM specific TSC
adjustments, so only short-circuit the TSC setup for a classic PV
Dom0.

Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/time.c