| commit | eb68ea9b10c190c237216dee92166f9e7b2ce3d4 | [log] [tgz] |
|---|---|---|
| author | Jeenu Viswambharan <[email protected]> | Fri Sep 22 08:32:09 2017 +0100 |
| committer | Jeenu Viswambharan <[email protected]> | 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 <[email protected]> Signed-off-by: Jeenu Viswambharan <[email protected]>