On Fri, 2015-09-25 at 15:51 +0100, Julien Grall wrote:

>          rank = vgic_rank_offset(v, 8, reg - GICD_IPRIORITYR, DABT_WORD);
> -        if ( rank == NULL ) goto write_ignore;
> +        if ( rank == NULL) goto write_ignore;

Accidental change I think.


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

Reply via email to