zephyr: include: rtos: interrupt.h: Make interrupt_get_irq work for ARM64 platforms

ARM64's GIC doesn't utilize cascaded interrupts so interrupt_get_irq
will have to return the given INTID.

Signed-off-by: Laurentiu Mihalcea <laurentiu.mihalcea@nxp.com>
This commit is contained in:
Laurentiu Mihalcea 2023-04-10 12:57:57 +03:00 committed by Kai Vehmanen
parent f7d9e76f95
commit f6d84391dc
1 changed files with 2 additions and 1 deletions

View File

@ -52,7 +52,8 @@ static inline void interrupt_unregister(uint32_t irq, const void *arg)
*/ */
static inline int interrupt_get_irq(unsigned int irq, const char *cascade) static inline int interrupt_get_irq(unsigned int irq, const char *cascade)
{ {
#if defined(CONFIG_LIBRARY) || defined(CONFIG_ACE) || defined(CONFIG_ZEPHYR_POSIX) #if defined(CONFIG_LIBRARY) || defined(CONFIG_ACE) || \
defined(CONFIG_ZEPHYR_POSIX) || defined(CONFIG_ARM64)
return irq; return irq;
#else #else
if (cascade == irq_name_level2) if (cascade == irq_name_level2)