| commit | e15a8621935cac527b4e0ed4078d24c3e5ef73a6 | [log] [tgz] |
|---|---|---|
| author | Vitaly Kuznetsov <vkuznets@redhat.com> | Thu Jun 30 17:56:39 2016 +0200 |
| committer | David Vrabel <david.vrabel@citrix.com> | Mon Jul 25 13:33:40 2016 +0100 |
| tree | 0a0e40f71d1f5154eec12a07a9979430aa5b5a71 | |
| parent | ad5475f9faf5186b7f59de2c6481ee3e211f1ed7 [diff] |
x86/xen: use xen_vcpu_id mapping when pointing vcpu_info to shared_info shared_info page has space for 32 vcpu info slots for first 32 vCPUs but these are the first 32 vCPUs from Xen's perspective and we should map them accordingly with the newly introduced xen_vcpu_id mapping. Signed-off-by: Vitaly Kuznetsov <vkuznets@redhat.com> Signed-off-by: David Vrabel <david.vrabel@citrix.com>