On Thu, 2015-03-19 at 19:29 +0000, Julien Grall wrote:
> GICD_TYPER.ITLinesNumber can encode up to 1024 interrupts. Although,
> IRQ 1020-1023 are reserved for special purpose.
> 
> The result is used by the callers of gic_number_lines in order to check
> the validity of an IRQ.
> 
> Signed-off-by: Julien Grall <julien.gr...@linaro.org>
> Cc: Frediano Ziglio <frediano.zig...@huawei.com>
> Cc: Zoltan Kiss <zoltan.k...@huawei.com>

Acked-by: Ian Campbell <ian.campb...@citrix.com>



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

Reply via email to