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

Re: [Xen-devel] [PATCH v1 4/8] xen/arm: vgic: ctlr stores a 32-bit hardware register so use uint32_t

To: Julien Grall <julien.grall@xxxxxxxxxx>, <xen-devel@xxxxxxxxxxxxxxxxxxxx>
From: Ian Campbell <ian.campbell@xxxxxxxxxx>
Date: Fri, 25 Sep 2015 17:45:41 +0100
Cc: Vijaya.Kumar@xxxxxxxxxxxxxxxxxx, stefano.stabellini@xxxxxxxxxx, manish.jaggi@xxxxxxxxxxxxxxxxxx, vijay.kilari@xxxxxxxxx
Delivery-date: Fri, 25 Sep 2015 16:46:00 +0000
List-id: Xen developer discussion <xen-devel.lists.xen.org>

On Fri, 2015-09-25 at 15:51 +0100, Julien Grall wrote:
> Signed-off-by: Julien Grall <julien.grall@xxxxxxxxxx>

Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>

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

References:
- [Xen-devel] [PATCH v1 4/8] xen/arm: vgic: ctlr stores a 32-bit hardware register so use uint32_t
  - From: Julien Grall

Prev by Date: Re: [Xen-devel] [PATCH v1 3/8] xen/arm: Support sign-extension for every read access
Next by Date: Re: [Xen-devel] [PATCH 3/8] xen/arm: Fix comment coding style in handle_node in domain_build.c
Previous by thread: [Xen-devel] [PATCH v1 4/8] xen/arm: vgic: ctlr stores a 32-bit hardware register so use uint32_t
Next by thread: [Xen-devel] [PATCH v1 8/8] xen/arm: vgic-v3: Support 32-bit access for 64-bit registers
Index(es):
- Date
- Thread

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