[Xen-devel] [PATCH v3 00/12] ocaml abi fixes

[Ian Jackson <ian.jackson@xxxxxxxxxxxxx>]

This now has further updates and improvements.  Patches 1-3 are as
before.  Patches 4-12 are new.  Thanks to Andy for his work (in
particular, some debugging and commentary for my script) which I have
incorporated here.

This is available as a git branch here
  https://xenbits.xen.org/gitweb/?p=people/iwj/xen.git;a=summary
  -b wip.ocaml.v3

Andrew Cooper (5):
  tools/ocaml: Add missing CAP_PV
  xen/domctl: Drop guest suffix from XEN_DOMCTL_CDF_hvm
  tools/ocaml: abi handling: Provide ocaml->C conversion/check
  tools/ocaml: Reformat domain_create_flag
  tools/ocaml: abi: Use formal conversion and check in more places

Ian Jackson (7):
  tools/ocaml: Add missing X86_EMU_VPCI
  tools/ocaml: Introduce xenctrl ABI build-time checks
  tools/ocaml: abi-check: Add comments
  tools/ocaml: abi-check: Improve output and error messages
  tools/ocaml: abi-check: Cope with multiple conversions of same type
  tools/ocaml: abi-check: Check properly.
  tools/ocaml: tools/ocaml: Add missing CDF_* values

 .gitignore                          |   1 +
 tools/libxl/libxl_create.c          |   2 +-
 tools/ocaml/libs/xc/Makefile        |   5 ++
 tools/ocaml/libs/xc/abi-check       | 114 ++++++++++++++++++++++++++++++++++++
 tools/ocaml/libs/xc/xenctrl.ml      |   9 ++-
 tools/ocaml/libs/xc/xenctrl.mli     |  13 +++-
 tools/ocaml/libs/xc/xenctrl_stubs.c |  95 ++++++++++++++++++++++--------
 tools/python/xen/lowlevel/xc/xc.c   |   2 +-
 xen/arch/arm/domain.c               |   2 +-
 xen/arch/arm/domain_build.c         |   2 +-
 xen/arch/arm/setup.c                |   2 +-
 xen/arch/x86/domain.c               |   4 +-
 xen/arch/x86/setup.c                |   2 +-
 xen/common/domain.c                 |   4 +-
 xen/include/public/domctl.h         |   8 ++-
 xen/include/public/sysctl.h         |   4 ++
 xen/include/xen/sched.h             |   4 +-
 17 files changed, 232 insertions(+), 41 deletions(-)
 create mode 100755 tools/ocaml/libs/xc/abi-check

-- 
2.11.0


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel