arm-trusted-firmware/drivers/arm/gic
Jeenu Viswambharan eb68ea9b10 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>
2017-10-16 16:50:01 +01:00
..
common Use SPDX license identifiers 2017-05-03 09:39:28 +01:00
v2 GIC: Add API to get running priority 2017-10-16 16:50:01 +01:00
v3 GIC: Add API to get running priority 2017-10-16 16:50:01 +01:00
arm_gic.c Use SPDX license identifiers 2017-05-03 09:39:28 +01:00
gic_v2.c Use SPDX license identifiers 2017-05-03 09:39:28 +01:00
gic_v3.c Use SPDX license identifiers 2017-05-03 09:39:28 +01:00