[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH v4 0/2] misc safety certification fixes



(+ Juergen)

On 11/12/18 11:06 PM, Stefano Stabellini wrote:
Hi all,

Hi,

Discussing with Stefano today, he is aiming to get this series for Xen 4.12. I will be away until the x86/common code freeze.

I agree with him that I will waive my ack if it gets reviewed by any committers.

Cheers,


The first patch introduces a new macro that is used throughout the code
in patch #2 to access _stext, _etext pointers and friends.

Cheers,

Stefano

Stefano Stabellini (2):
       xen: introduce SYMBOL
       xen: use SYMBOL when required

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


--
Julien Grall

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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.