[PATCH xenbus 0/8] More refinement around vcpu_info registration

[Paul Durrant <paul@xxxxxxx>]

From: Paul Durrant <pdurrant@xxxxxxxxxx>

Patches #1 and #2 are independent fixes for a ASSERTion failures found
during development of the series.

Paul Durrant (8):
  Remove bogus ASSERTion
  Fix ASSERTion failure in FdoDisconnectInterrupt()
  Introduce XENBUS_SHARED_INFO_PROCESSOR to hold per-CPU state
  Allocate SYSTEM_PROCESSOR array up-front
  Create interface to retrieve XEN driver 'Parameters' key
  Make vcpu_info registration conditional on number of vCPUs
  Retire PDO versions 08000009 thru 0800000B
  Add XENBUS_SHARED_INFO method to check whether event upcalls are
    supported

 include/evtchn_interface.h      |  19 +--
 include/gnttab_interface.h      |  17 +--
 include/revision.h              |   6 +-
 include/shared_info_interface.h |  30 +++-
 include/store_interface.h       |  22 +--
 include/xen.h                   |   6 -
 src/xen/driver.c                |  36 ++++-
 src/xen/driver.h                |   5 +
 src/xen/system.c                | 162 ++++++++++-----------
 src/xenbus/evtchn.c             |  50 +++----
 src/xenbus/evtchn_fifo.c        |   5 +-
 src/xenbus/fdo.c                |   2 +
 src/xenbus/gnttab.c             |  28 ----
 src/xenbus/shared_info.c        | 241 ++++++++++++++++++++++++--------
 src/xenbus/store.c              |  33 -----
 src/xenfilt/driver.c            |   1 -
 16 files changed, 359 insertions(+), 304 deletions(-)

-- 
2.17.1