tree a33f06ca92514ec2ccfd96b1f3b8449dd0244fc5
parent 73f1b9c832dbb0b969b239f5c6703a2216769e44
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1506065529 +0100
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1508169001 +0100

GIC: Add API to get running priority

Document the API in separate platform interrupt controller API document.

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