commit | eb68ea9b10c190c237216dee92166f9e7b2ce3d4 | [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 | 8ac544e44b9747c1c59b42e4708607f2e8077c6f [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>