diff options
Diffstat (limited to 'include/plat/common/platform.h')
| -rw-r--r-- | include/plat/common/platform.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/plat/common/platform.h b/include/plat/common/platform.h index 7468352d..f00db0db 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) |