x86/XPTI: fix S3 resume (and CPU offlining in general)
authorJan Beulich <jbeulich@suse.com>
Mon, 28 May 2018 09:20:26 +0000 (11:20 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 28 May 2018 09:20:26 +0000 (11:20 +0200)
commit6b9562dac1746014ab376bd2cf8ba400acf34c6d
treef0b62c8ed47ea1ba0ac29cf3103da3b1a36e532c
parentfc5805daef091240cd5fc06634a8bcdb2f3bb843
x86/XPTI: fix S3 resume (and CPU offlining in general)

We should index an L1 table with an L1 index.

Reported-by: Simon Gaiser <simon@invisiblethingslab.com>
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Release-acked-by: Juergen Gross <jgross@suse.com>
xen/arch/x86/smpboot.c