diff options
| author | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | 2017-09-22 08:32:09 +0100 |
|---|---|---|
| committer | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | 2017-10-16 16:50:01 +0100 |
| commit | eb68ea9b10c190c237216dee92166f9e7b2ce3d4 (patch) | |
| tree | a33f06ca92514ec2ccfd96b1f3b8449dd0244fc5 /Makefile | |
| 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>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions