xen/evtchn: use xen_vcpu_id mapping
authorVitaly Kuznetsov <vkuznets@redhat.com>
Thu, 30 Jun 2016 15:56:42 +0000 (17:56 +0200)
committerDavid Vrabel <david.vrabel@citrix.com>
Mon, 25 Jul 2016 12:34:18 +0000 (13:34 +0100)
commitcbbb4682394c45986a34d8c77a02e7a066e30235
treec894469e0e2886c7fbb9a865f54ea307acb72aa3
parentbe78da1cf43db4c1a9e13af8b6754199a89d5d75
xen/evtchn: use xen_vcpu_id mapping

Use the newly introduced xen_vcpu_id mapping to get Xen's idea of vCPU
id for CPU0.

Signed-off-by: Vitaly Kuznetsov <vkuznets@redhat.com>
Signed-off-by: David Vrabel <david.vrabel@citrix.com>
drivers/xen/evtchn.c