[Xen-devel] [PATCH v10 0/6] 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.

The main changes are:

- introduce the WHATEVER macro, named DEFINE_SYMBOL
- make use of the static inline functions to subtract and compare
  pointers when possible
- when not possible, cast to uintptr_t
- use __UINTPTR_TYPE__ and __PTRDIFF_TYPE__ to define uintptr_t and
  ptrdiff_t

Let me premise that I think that using two different types for start and
end limits the usability of the static inlines, so overall v9 is better
than this version of the series in my opinion.


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

for you to fetch changes up to 6d95b9dbb2c8dd1ad635ae84c56087c0f815e69b:

  xen: use DEFINE_SYMBOL as required (2019-02-25 12:42:47 -0800)

----------------------------------------------------------------
Stefano Stabellini (6):
      xen: introduce ptrdiff_t
      xen: introduce DEFINE_SYMBOL
      xen/arm: use DEFINE_SYMBOL as required
      xen/x86: use DEFINE_SYMBOL as required
      xen/common: use DEFINE_SYMBOL as required
      xen: use DEFINE_SYMBOL as required

 xen/arch/arm/alternative.c        | 15 ++++++++++-----
 xen/arch/arm/arm32/livepatch.c    | 14 +++++++++++++-
 xen/arch/arm/arm64/livepatch.c    | 14 +++++++++++++-
 xen/arch/arm/device.c             | 13 ++++++++-----
 xen/arch/arm/livepatch.c          | 16 ++++++++++++++--
 xen/arch/arm/mm.c                 | 11 ++++++-----
 xen/arch/arm/percpu.c             |  9 +++++----
 xen/arch/arm/platform.c           |  9 ++++++---
 xen/arch/arm/setup.c              |  5 +++--
 xen/arch/x86/alternative.c        |  8 +++++++-
 xen/arch/x86/efi/efi-boot.h       | 10 ++++++----
 xen/arch/x86/percpu.c             |  9 +++++----
 xen/arch/x86/setup.c              | 13 +++++++++----
 xen/arch/x86/smpboot.c            |  5 +++--
 xen/common/kernel.c               | 12 ++++++++++--
 xen/common/lib.c                  |  7 +++++--
 xen/common/schedule.c             |  6 ++++--
 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/grant_table.h |  3 ++-
 xen/include/asm-arm/percpu.h      |  2 +-
 xen/include/asm-x86/percpu.h      |  4 +++-
 xen/include/xen/compiler.h        | 32 ++++++++++++++++++++++++++++++++
 xen/include/xen/kernel.h          | 37 +++++++++++++++++++++----------------
 xen/include/xen/types.h           |  3 ++-
 27 files changed, 204 insertions(+), 80 deletions(-)

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