[Xen-devel] [PATCH v6 0/4] misc safety certification fixes

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

Hi all,

This version of the series addresses all the latest comments by Jan. The
principal change is to SYMBOL(), that now returns the native type,
instead of unsigned long.

I would like to note that I believe this not a good change. It would be
better, more safety compliant, to have SYMBOL() return unsigned long as
it was done in v5 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-6

for you to fetch changes up to 40ca1684137114698b13c18f2f1468e9bc75574f:

  xen/common: use SYMBOL when required (2019-01-09 15:36:21 -0800)

----------------------------------------------------------------
Stefano Stabellini (4):
      xen: introduce SYMBOL
      xen/arm: use SYMBOL when required
      xen/x86: use SYMBOL when required
      xen/common: use SYMBOL when required

 xen/arch/arm/alternative.c        |  4 ++--
 xen/arch/arm/arm32/livepatch.c    |  2 +-
 xen/arch/arm/arm64/livepatch.c    |  2 +-
 xen/arch/arm/device.c             |  6 +++---
 xen/arch/arm/livepatch.c          |  4 ++--
 xen/arch/arm/mm.c                 | 13 +++++++------
 xen/arch/arm/percpu.c             |  8 ++++----
 xen/arch/arm/platform.c           |  6 ++++--
 xen/arch/arm/setup.c              |  6 ++++--
 xen/arch/x86/alternative.c        |  3 ++-
 xen/arch/x86/efi/efi-boot.h       |  8 ++++----
 xen/arch/x86/percpu.c             |  8 ++++----
 xen/arch/x86/setup.c              |  8 +++++---
 xen/arch/x86/smpboot.c            |  5 +++--
 xen/common/kernel.c               |  8 ++++++--
 xen/common/lib.c                  |  3 ++-
 xen/common/schedule.c             |  6 ++++--
 xen/common/spinlock.c             |  4 +++-
 xen/common/version.c              |  6 +++---
 xen/common/virtual_region.c       | 12 ++++++------
 xen/drivers/vpci/vpci.c           |  2 +-
 xen/include/asm-arm/grant_table.h |  3 ++-
 xen/include/xen/compiler.h        | 10 ++++++++++
 xen/include/xen/kernel.h          | 24 ++++++++++++------------
 24 files changed, 95 insertions(+), 66 deletions(-)

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