GIC: Add API to get running priority
authorJeenu Viswambharan <jeenu.viswambharan@arm.com>
Fri, 22 Sep 2017 07:32:09 +0000 (08:32 +0100)
committerJeenu Viswambharan <jeenu.viswambharan@arm.com>
Mon, 16 Oct 2017 15:50:01 +0000 (16:50 +0100)
commiteb68ea9b10c190c237216dee92166f9e7b2ce3d4
treea33f06ca92514ec2ccfd96b1f3b8449dd0244fc5
parent8ac544e44b9747c1c59b42e4708607f2e8077c6f
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>
13 files changed:
docs/platform-interrupt-controller-API.rst [new file with mode: 0644]
docs/porting-guide.rst
drivers/arm/gic/v2/gicv2_main.c
drivers/arm/gic/v2/gicv2_private.h
drivers/arm/gic/v3/gicv3_main.c
include/drivers/arm/gicv2.h
include/drivers/arm/gicv3.h
include/lib/aarch32/arch_helpers.h
include/lib/aarch64/arch.h
include/lib/aarch64/arch_helpers.h
include/plat/common/platform.h
plat/common/plat_gicv2.c
plat/common/plat_gicv3.c