diff --git a/arch/arm/include/armv7-a/irq.h b/arch/arm/include/armv7-a/irq.h index 61437233f7..941a02f7dd 100644 --- a/arch/arm/include/armv7-a/irq.h +++ b/arch/arm/include/armv7-a/irq.h @@ -379,10 +379,11 @@ static inline irqstate_t up_irq_enable(void) __asm__ __volatile__ ( "\tmrs %0, cpsr\n" -#if defined(CONFIG_ARCH_TRUSTZONE_SECURE) || defined(CONFIG_ARCH_HIPRI_INTERRUPT) +#if defined(CONFIG_ARCH_HIPRI_INTERRUPT) + "\tcpsie if\n" +#elif defined(CONFIG_ARCH_TRUSTZONE_SECURE) "\tcpsie f\n" -#endif -#ifndef CONFIG_ARCH_TRUSTZONE_SECURE +#else "\tcpsie i\n" #endif : "=r" (cpsr)