Vitaly Kuznetsov 8058c0b897 xen/events: use xen_vcpu_id mapping in events_base
EVTCHNOP_bind_ipi and EVTCHNOP_bind_virq pass vCPU id as a parameter
and Xen's idea of vCPU id should be used. Use the newly introduced
xen_vcpu_id mapping to convert it from Linux's id.

Signed-off-by: Vitaly Kuznetsov <vkuznets@redhat.com>
Signed-off-by: David Vrabel <david.vrabel@citrix.com>
2016-07-25 13:34:06 +01:00
..
2015-12-21 14:40:55 +00:00
2016-07-25 10:59:31 +01:00
2016-07-06 10:34:47 +01:00
2016-07-06 10:34:47 +01:00
2015-12-21 14:40:55 +00:00
2016-07-06 10:34:47 +01:00
2011-12-16 13:29:31 -05:00