[PATCH xenbus 00/12] Add watchdog functionality

[Paul Durrant <paul@xxxxxxx>]

From: Paul Durrant <pdurrant@xxxxxxxxxx>

Also clean up the documentation a bit.

Paul Durrant (12):
  Introduce a new XENBUS_VIRQ structure and new functions...
  s/Index/Cpu in the EVTCHN code where 'Index' relates to a processor
  Fix formatting in include/xen.h
  Use Windows types in XEN_API event channel functions
  Update the XENBUS_EVTCHN interface...
  Add functions to XEN_API to facilitate use of a domain watchdog
  Add support for Xen (VCPUOP) periodic timers
  Add XENBUS_DEBUG callback into fdo.c to dump VIRQ information
  Slightly modify the way balloon initialization is done in fdo.c
  Add "XEN:WATCHDOG=" system start option to specify a watchdog time-out
  Remove documention for python helpers that are no longer present
  Document system start options...

 README.md                  |  44 +++-
 include/evtchn_interface.h |  25 +-
 include/revision.h         |   3 +-
 include/xen.h              |  83 ++++---
 include/xen/public/vcpu.h  | 248 ++++++++++++++++++++
 src/common/names.h         |  22 ++
 src/xen/event_channel.c    |  33 +--
 src/xen/log.c              |   2 +
 src/xen/sched.c            |  36 ++-
 src/xen/system.c           |  62 +++++
 src/xen/unplug.c           |   2 +
 src/xen/vcpu.c             |  82 +++++++
 src/xenbus/evtchn.c        | 207 ++++++++++++-----
 src/xenbus/fdo.c           | 464 ++++++++++++++++++++++++++++++++-----
 vs2015/xen/xen.vcxproj     |   1 +
 vs2017/xen/xen.vcxproj     |   1 +
 vs2019/xen/xen.vcxproj     |   1 +
 17 files changed, 1138 insertions(+), 178 deletions(-)
 create mode 100644 include/xen/public/vcpu.h
 create mode 100644 src/xen/vcpu.c

-- 
2.17.1