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 | ca43b55d22f3a48f408d16d4bedbf677cbdf8f48 (patch) | |
| tree | 1242264410d888d42f8564298fe9e4a8a68cd148 /include | |
| parent | dea417cdd640a3e258db3b817223ffaa5f53e416 (diff) | |
| download | platform_external_arm-trusted-firmware-ca43b55d22f3a48f408d16d4bedbf677cbdf8f48.tar.gz platform_external_arm-trusted-firmware-ca43b55d22f3a48f408d16d4bedbf677cbdf8f48.tar.bz2 platform_external_arm-trusted-firmware-ca43b55d22f3a48f408d16d4bedbf677cbdf8f48.zip | |
GIC: Add APIs to query interrupt types
These APIs allow the GIC implementation to categorize interrupt numbers
into SPIs, PPIs, and SGIs. The default implementations for GICv2 and
GICv3 follows interrupt numbering as specified by the ARM GIC
architecture.
API documentation updated.
Change-Id: Ia6aa379dc955994333232e6138f259535d4fa087
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>
Diffstat (limited to 'include')
| -rw-r--r-- | include/drivers/arm/gic_common.h | 1 | ||||
| -rw-r--r-- | include/plat/common/platform.h | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/include/drivers/arm/gic_common.h b/include/drivers/arm/gic_common.h index b9cae802f..f4e2c5266 100644 --- a/include/drivers/arm/gic_common.h +++ b/include/drivers/arm/gic_common.h @@ -12,6 +12,7 @@ ******************************************************************************/ /* Constants to categorise interrupts */ #define MIN_SGI_ID 0 +#define MIN_SEC_SGI_ID 8 #define MIN_PPI_ID 16 #define MIN_SPI_ID 32 #define MAX_SPI_ID 1019 diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h index 7468352d1..f00db0db2 100644 --- a/include/plat/common/platform.h +++ b/include/plat/common/platform.h @@ -73,6 +73,9 @@ uint32_t plat_interrupt_type_to_line(uint32_t type, * Optional interrupt management functions, depending on chosen EL3 components. ******************************************************************************/ 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); /******************************************************************************* * Optional common functions (may be overridden) |