On 28/09/15 11:52, Ian Campbell wrote: > 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.
Yes. I will fix it in the next version. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
