x86/time: use fake read_tsc()
authorJan Beulich <jbeulich@suse.com>
Tue, 5 Apr 2022 09:40:58 +0000 (11:40 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 5 Apr 2022 09:40:58 +0000 (11:40 +0200)
commit120e26c2bb0097a589d718b1b58d7052ccce4458
tree5dea3cda7344d3f1deaea4b07d1e0638e80d4efd
parent472839e61c7c2a8a5d8221834761de85e745ae33
x86/time: use fake read_tsc()

Go a step further than bed9ae54df44 ("x86/time: switch platform timer
hooks to altcall") did and eliminate the "real" read_tsc() altogether:
It's not used except in pointer comparisons, and hence it looks overall
more safe to simply poison plt_tsc's read_counter hook.

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