tree 03d8cabe2d19f5a9f46e3bce352a50becb182c30
parent 0fcdfffb3b50d01955eac767c1830ecd2b2abe7f
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1506065529 +0100
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1508169001 +0100

GIC: Add API to set interrupt priority

API documentation updated.

Change-Id: Ib700eb1b8ca65503aeed0ac4ce0e7b934df67ff9
Co-authored-by: Yousuf A <yousuf.sait@arm.com>
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>