| commit | b1e957e198819098db84b42e9a87e35ea333aa20 | [log] [tgz] |
|---|---|---|
| author | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | Fri Sep 22 08:32:09 2017 +0100 |
| committer | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | Mon Oct 16 16:50:01 2017 +0100 |
| tree | a33f06ca92514ec2ccfd96b1f3b8449dd0244fc5 | |
| parent | 73f1b9c832dbb0b969b239f5c6703a2216769e44 [diff] |
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>