On Thu, 2015-03-19 at 19:29 +0000, Julien Grall wrote: > The formula of GICD_TYPER.ITLinesNumber is 32(N + 1). > > As the number of SPIs suppported by the domain may not be a multiple of > 32, we have to round up the number before using it. > > At the same time remove the mask GICD_TYPE_LINES which is pointless.
I presume because something else has ensured that nr_spis is less than the maximum value represented by the mask? > Signed-off-by: Julien Grall <julien.gr...@linaro.org> Acked-by: Ian Campbell <ian.campb...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel