x86: xen pv clock time source
authorWei Liu <wei.liu2@citrix.com>
Thu, 16 Nov 2017 17:56:18 +0000 (17:56 +0000)
committerWei Liu <wei.liu2@citrix.com>
Tue, 16 Jan 2018 18:34:04 +0000 (18:34 +0000)
commit357b4ede6672aa109d0e2c299a3c9ae6e23e636b
treed9c819ae48332d4b52d72f0db5fbd5f3540aaf61
parent5e6f25717419c7de16b5b876288f7462337694a4
x86: xen pv clock time source

It is a variant of TSC clock source.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
xen/arch/x86/time.c