x86/EFI: also fill boot_tsc_stamp on the xen.efi boot path
authorJan Beulich <jbeulich@suse.com>
Tue, 14 Apr 2020 09:42:11 +0000 (11:42 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 14 Apr 2020 09:42:11 +0000 (11:42 +0200)
commit0dbc112e727f6c17f306c864950bdf83dece5cd5
tree6c822697d25bb55087395de0a24e43779c4e242f
parent3fd3e9303ec4b1bc9d5271b9c089177e82c16dbb
x86/EFI: also fill boot_tsc_stamp on the xen.efi boot path

Commit e3a379c35eff ("x86/time: always count s_time from Xen boot")
introducing this missed adjusting this path as well.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Wei Liu <wl@xen.org>
xen/arch/x86/efi/efi-boot.h
xen/include/asm-x86/setup.h