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 /include/plat | |
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 'include/plat')
-rw-r--r-- | include/plat/common/platform.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h index e189f648..7468352d 100644 --- a/include/plat/common/platform.h +++ b/include/plat/common/platform.h @@ -70,6 +70,11 @@ uint32_t plat_interrupt_type_to_line(uint32_t type, uint32_t security_state); /******************************************************************************* + * Optional interrupt management functions, depending on chosen EL3 components. + ******************************************************************************/ +unsigned int plat_ic_get_running_priority(void); + +/******************************************************************************* * Optional common functions (may be overridden) ******************************************************************************/ uintptr_t plat_get_my_stack(void); |