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

Re: [Xen-devel] [PATCH v3 1/2] xen/arm: vgic: Keep track of vIRQ used by a domain

To: Julien Grall <julien.grall@xxxxxxxxxx>
From: Ian Campbell <Ian.Campbell@xxxxxxxxxx>
Date: Mon, 2 Feb 2015 15:09:53 +0000
Cc: christoffer.dall@xxxxxxxxxx, xen-devel@xxxxxxxxxxxxxxxxxxxx, tim@xxxxxxx, parth.dixit@xxxxxxxxxx, stefano.stabellini@xxxxxxxxxx
Delivery-date: Mon, 02 Feb 2015 15:10:01 +0000
List-id: Xen developer discussion <xen-devel.lists.xen.org>

On Thu, 2015-01-29 at 15:51 +0000, Julien Grall wrote:
>         - Move the retry after looking for first/end. I keep the goto
>         rather than a loop because it's more clear that we retry because
>         we were unable to set the bit

Then I think a "do {} while (!successfully allocated)" is what is
wanted, maybe with a comment.

Ian.


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

Follow-Ups:
- Re: [Xen-devel] [PATCH v3 1/2] xen/arm: vgic: Keep track of vIRQ used by a domain
  - From: Julien Grall

Prev by Date: Re: [Xen-devel] [PATCH 3/7] stubdom: don't look for mini-os source file during configure
Next by Date: Re: [Xen-devel] [PATCH] time: widen wallclock seconds to 64 bits
Previous by thread: Re: [Xen-devel] [PATCH] time: widen wallclock seconds to 64 bits
Next by thread: Re: [Xen-devel] [PATCH v3 1/2] xen/arm: vgic: Keep track of vIRQ used by a domain
Index(es):
- Date
- Thread

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