[Xen-devel] [PATCH v11 0/9] misc safety certification fixes

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

Hi all,

This version of the series makes use of the macro suggested by Jan with
few modifications. See each patch for a description of the changes.

The following changes since commit 808cff4c2af66afd61973451aeb7e708732abf90:

  sched/credit2: remove stale comment (2019-01-09 15:46:05 +0100)

are available in the git repository at:

  http://xenbits.xenproject.org/git-http/people/sstabellini/xen-unstable.git 
certifications-11

for you to fetch changes up to 26fb02b5ae59b48b51ca788be91510d8df48ab0a:

  xen: explicit casts when DECLARE_BOUNDS cannot be used (2019-03-05 14:29:51 
-0800)

----------------------------------------------------------------
Stefano Stabellini (9):
      xen: use __UINTPTR_TYPE__ for uintptr_t
      xen: introduce ptrdiff_t
      xen: introduce DECLARE_BOUNDS
      xen/arm: use DECLARE_BOUNDS as required
      xen/x86: use DECLARE_BOUNDS as required
      xen/common: use DECLARE_BOUNDS as required
      xen: use DECLARE_BOUNDS as required
      xen: use DECLARE_BOUNDS in alternative.c
      xen: explicit casts when DECLARE_BOUNDS cannot be used

 xen/arch/arm/alternative.c        | 16 +++----
 xen/arch/arm/arm32/livepatch.c    |  2 +-
 xen/arch/arm/arm64/livepatch.c    |  2 +-
 xen/arch/arm/device.c             | 14 ++++---
 xen/arch/arm/livepatch.c          |  4 +-
 xen/arch/arm/mm.c                 | 14 ++++---
 xen/arch/arm/percpu.c             | 11 ++---
 xen/arch/arm/platform.c           |  9 ++--
 xen/arch/arm/setup.c              |  5 ++-
 xen/arch/arm/xen.lds.S            |  3 +-
 xen/arch/x86/alternative.c        | 10 ++---
 xen/arch/x86/efi/efi-boot.h       | 10 +++--
 xen/arch/x86/percpu.c             | 11 ++---
 xen/arch/x86/setup.c              | 14 +++++--
 xen/arch/x86/smpboot.c            |  6 ++-
 xen/arch/x86/xen.lds.S            |  3 +-
 xen/common/kernel.c               | 13 ++++--
 xen/common/lib.c                  |  7 +++-
 xen/common/livepatch.c            |  5 ++-
 xen/common/schedule.c             | 11 ++++-
 xen/common/spinlock.c             |  8 ++--
 xen/common/version.c              |  9 ++--
 xen/common/virtual_region.c       |  4 +-
 xen/drivers/vpci/vpci.c           |  6 +--
 xen/include/asm-arm/alternative.h |  6 ++-
 xen/include/asm-arm/grant_table.h |  3 +-
 xen/include/asm-arm/percpu.h      |  4 +-
 xen/include/asm-x86/alternative.h |  7 +++-
 xen/include/asm-x86/percpu.h      |  6 ++-
 xen/include/xen/kernel.h          | 42 ++++++++++++-------
 xen/include/xen/lib.h             | 88 +++++++++++++++++++++++++++++++++++++++
 xen/include/xen/types.h           |  3 +-
 32 files changed, 259 insertions(+), 97 deletions(-)

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