[PATCH xenbus 0/4] Allow event channel binding with 2-level API

[Paul Durrant <paul@xxxxxxx>]

From: Paul Durrant <pdurrant@xxxxxxxxxx>

Paul Durrant (4):
  Use a Cpu index in XENBUS_EVTCHN_CHANNEL rather than a
    PROCESSOR_NUMBER
  Use XENBUS_EVTCHN_PROCESSOR in callback functions
  Fix typo in SharedInfoDebugCallback()
  Don't restrict event channels to vCPU 0...

 src/xenbus/evtchn.c      | 199 ++++++++++++++++++++++-----------------
 src/xenbus/evtchn_2l.c   |  16 +---
 src/xenbus/shared_info.c |  10 +-
 3 files changed, 121 insertions(+), 104 deletions(-)

-- 
2.17.1