|
|
@@ -580,14 +580,14 @@ extern void _frxt_setup_switch( void ); //Defined in portasm.S
|
|
|
|
|
|
// --------------------- 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);
|