[Xen-devel] [PATCH v9 0/5] misc safety certification fixes

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

Hi all,

This version of the series introduces two macros to compare and subtract
linker symbols. Note that it has been suggested on the list to add type
checking inside the macros, but that is not done in this version of the
series.

Cheers,

Stefano


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-9

for you to fetch changes up to 8d3f511c83d026109e64babc5fb5eec9abfdcd14:

  xen/common: use SYMBOLS_SUBTRACT and SYMBOLS_COMPARE as required (2019-02-11 
17:10:30 -0800)

----------------------------------------------------------------
Stefano Stabellini (5):
      xen: introduce ptrdiff_t, fix uintptr_t
      xen: introduce SYMBOLS_SUBTRACT and SYMBOLS_COMPARE
      xen/arm: use SYMBOLS_SUBTRACT and SYMBOLS_COMPARE as required
      xen/x86: use SYMBOLS_SUBTRACT and SYMBOLS_COMPARE as required
      xen/common: use SYMBOLS_SUBTRACT and SYMBOLS_COMPARE as required

 xen/arch/arm/alternative.c        | 10 +++++++---
 xen/arch/arm/arm32/livepatch.c    | 14 +++++++++++++-
 xen/arch/arm/arm64/livepatch.c    | 14 +++++++++++++-
 xen/arch/arm/device.c             |  8 +++++---
 xen/arch/arm/livepatch.c          | 16 ++++++++++++++--
 xen/arch/arm/mm.c                 |  9 +++++----
 xen/arch/arm/percpu.c             |  7 ++++---
 xen/arch/arm/platform.c           |  6 ++++--
 xen/arch/arm/setup.c              |  5 +++--
 xen/arch/x86/alternative.c        |  4 +++-
 xen/arch/x86/efi/efi-boot.h       |  4 ++--
 xen/arch/x86/percpu.c             |  7 ++++---
 xen/arch/x86/setup.c              | 10 +++++++---
 xen/arch/x86/smpboot.c            |  3 ++-
 xen/common/kernel.c               |  8 ++++++--
 xen/common/lib.c                  |  5 ++++-
 xen/common/schedule.c             |  6 ++++--
 xen/common/spinlock.c             |  4 +++-
 xen/common/version.c              |  6 +++---
 xen/common/virtual_region.c       |  3 ++-
 xen/drivers/vpci/vpci.c           |  2 +-
 xen/include/asm-arm/grant_table.h |  3 ++-
 xen/include/xen/compiler.h        | 22 ++++++++++++++++++++++
 xen/include/xen/kernel.h          | 28 ++++++++++++++++------------
 xen/include/xen/types.h           |  3 ++-
 25 files changed, 151 insertions(+), 56 deletions(-)

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