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 | cbd3f3706d4217ee3669deeb52b158e84eb97f56 (patch) | |
tree | dd37e90333a8626cf970cee0951dd90503ca9cef /include/plat | |
parent | ca43b55d22f3a48f408d16d4bedbf677cbdf8f48 (diff) | |
download | trusted-firmware-a-cbd3f3706d4217ee3669deeb52b158e84eb97f56.tar.gz |
GIC: Add API to get interrupt active status
API documentation updated.
Change-Id: I6d61785af0d5330930c709de971a904dc7c3516c
Co-authored-by: Yousuf A <yousuf.sait@arm.com>
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>
Diffstat (limited to 'include/plat')
-rw-r--r-- | include/plat/common/platform.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h index f00db0db23..e4fb6a9f93 100644 --- a/include/plat/common/platform.h +++ b/include/plat/common/platform.h @@ -76,6 +76,7 @@ unsigned int plat_ic_get_running_priority(void); int plat_ic_is_spi(unsigned int id); int plat_ic_is_ppi(unsigned int id); int plat_ic_is_sgi(unsigned int id); +unsigned int plat_ic_get_interrupt_active(unsigned int id); /******************************************************************************* * Optional common functions (may be overridden) |