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

[Xen-devel] [PATCHv1 0/2]: Xen: kexec coverity fixes

To: <xen-devel@xxxxxxxxxxxxx>
From: David Vrabel <david.vrabel@xxxxxxxxxx>
Date: Wed, 13 Nov 2013 14:43:47 +0000
Cc: David Vrabel <david.vrabel@xxxxxxxxxx>, Jan Beulich <jan.beulich@xxxxxxxx>
Delivery-date: Wed, 13 Nov 2013 14:44:03 +0000
List-id: Xen developer discussion <xen-devel.lists.xen.org>

Coverity identified some new issues in the recently commit kexec
changes.

The other new kexec related issues (e.g. CID 1128572: Reliance on
integer endianness (INCOMPATIBLE_CAST)) are believed to be coverity
being confused by the underlying atomic_read()/atomic_write() and
getting its types wrong.

David


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel

Follow-Ups:
- Re: [Xen-devel] [PATCHv1 0/2]: Xen: kexec coverity fixes
  - From: Andrew Cooper
- [Xen-devel] [PATCH 2/2] kexec: fail image loads if the page tables cannot be built
  - From: David Vrabel
- [Xen-devel] [PATCH 1/2] kexec: fix kexec_lock use in kexec_swap_images()
  - From: David Vrabel

Prev by Date: [Xen-devel] [PATCH 1/2] kexec: fix kexec_lock use in kexec_swap_images()
Next by Date: [Xen-devel] [PATCH 2/2] kexec: fail image loads if the page tables cannot be built
Previous by thread: Re: [Xen-devel] [PATCH] remove dependency on /boot/config-* in grub.d/20_linux_xen
Next by thread: [Xen-devel] [PATCH 1/2] kexec: fix kexec_lock use in kexec_swap_images()
Index(es):
- Date
- Thread

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