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

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

Hi all,

This version of the series addresses all the latest comments by Jan. It
simplifies the implementation of SYMBOL and rename SYMBOL to
SYMBOL_HIDE.

I would like to note that I don't believe this implementation of
SYMBOL_HIDE gives us MISRA-C compliance. We'll likely have to change the
implementation to the existing RELOC_HIDE.

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

for you to fetch changes up to 28fe2f67e033f09f30c6bb2b02168d39e9da5378:

  xen/common: use SYMBOL_HIDE when required (2019-01-10 10:07:34 -0800)

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

 xen/arch/arm/alternative.c        |  5 +++--
 xen/arch/arm/arm32/livepatch.c    |  2 +-
 xen/arch/arm/arm64/livepatch.c    |  2 +-
 xen/arch/arm/device.c             |  8 +++++---
 xen/arch/arm/livepatch.c          |  4 ++--
 xen/arch/arm/mm.c                 | 13 +++++++------
 xen/arch/arm/percpu.c             | 11 +++++++----
 xen/arch/arm/platform.c           |  6 ++++--
 xen/arch/arm/setup.c              |  7 +++++--
 xen/arch/x86/alternative.c        |  3 ++-
 xen/arch/x86/efi/efi-boot.h       |  8 ++++----
 xen/arch/x86/percpu.c             | 10 ++++++----
 xen/arch/x86/setup.c              |  9 ++++++---
 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           |  3 ++-
 xen/include/asm-arm/grant_table.h |  3 ++-
 xen/include/xen/compiler.h        | 11 +++++++++++
 xen/include/xen/kernel.h          | 24 ++++++++++++------------
 24 files changed, 107 insertions(+), 66 deletions(-)

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