|
|
@@ -554,14 +554,14 @@ static inline void __attribute__((always_inline)) uxPortCompareSetExtram(volatil
|
|
|
|
|
|
// --------------------- Interrupts ------------------------
|
|
|
|
|
|
-static inline UBaseType_t xPortSetInterruptMaskFromISR(void)
|
|
|
+static inline UBaseType_t __attribute__((always_inline)) xPortSetInterruptMaskFromISR(void)
|
|
|
{
|
|
|
UBaseType_t prev_int_level = XTOS_SET_INTLEVEL(XCHAL_EXCM_LEVEL);
|
|
|
portbenchmarkINTERRUPT_DISABLE();
|
|
|
return prev_int_level;
|
|
|
}
|
|
|
|
|
|
-static inline void vPortClearInterruptMaskFromISR(UBaseType_t prev_level)
|
|
|
+static inline void __attribute__((always_inline)) vPortClearInterruptMaskFromISR(UBaseType_t prev_level)
|
|
|
{
|
|
|
portbenchmarkINTERRUPT_RESTORE(prev_level);
|
|
|
XTOS_RESTORE_JUST_INTLEVEL((int) prev_level);
|