x86: read wallclock from Xen when running in pvh mode
authorWei Liu <wei.liu2@citrix.com>
Fri, 17 Nov 2017 15:19:09 +0000 (15:19 +0000)
committerWei Liu <wei.liu2@citrix.com>
Tue, 16 Jan 2018 18:34:04 +0000 (18:34 +0000)
commitfe18227d82ec8bc16a7c9c36b96386b761680678
tree76daed6e533c95a4de4bb15c9ab6e26ba96be0bb
parent02e0de01155508425430a733440570e464f2b57d
x86: read wallclock from Xen when running in pvh mode

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