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

From: Ian Jackson <ian.jackson@eu.citrix.com>
To: <xen-devel@lists.xenproject.org>
Cc: "Stefano Stabellini" <sstabellini@kernel.org>,
	"Wei Liu" <wl@xen.org>,
	"Konrad Rzeszutek Wilk" <konrad.wilk@oracle.com>,
	"George Dunlap" <George.Dunlap@eu.citrix.com>,
	"Tim Deegan" <tim@xen.org>,
	"Ian Jackson" <ian.jackson@eu.citrix.com>,
	"Marek Marczykowski-Górecki" <marmarek@invisiblethingslab.com>,
	"Julien Grall" <julien.grall@arm.com>,
	"Andrew Cooper" <andrew.cooper3@citrix.com>,
	"Christian Lindig" <christian.lindig@citrix.com>,
	"Jan Beulich" <jbeulich@suse.com>,
	"David Scott" <dave@recoil.org>,
	"Anthony PERARD" <anthony.perard@citrix.com>,
	"Volodymyr Babchuk" <Volodymyr_Babchuk@epam.com>,
	"Roger Pau Monné" <roger.pau@citrix.com>
Subject: [Xen-devel] [PATCH v3 00/12] ocaml abi fixes
Date: Tue, 10 Sep 2019 13:01:55 +0100	[thread overview]
Message-ID: <20190910120207.10358-1-ian.jackson@eu.citrix.com> (raw)

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@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel