@ -110,6 +110,10 @@
# error configMAX_API_CALL_INTERRUPT_PRIORITY must be greater than ( configUNIQUE_INTERRUPT_PRIORITIES / 2 )
# endif
# ifndef configCLEAR_TICK_INTERRUPT
# define configCLEAR_TICK_INTERRUPT()
# endif
/* The number of bits to shift for an interrupt priority is dependent on the
number of bits implemented by the interrupt controller . */
# if configUNIQUE_INTERRUPT_PRIORITIES == 16
@ -167,7 +171,6 @@ point is zero. */
/* Constants required to setup the initial task context. */
# define portINITIAL_SPSR ( ( StackType_t ) 0x1f ) /* System mode, ARM mode, interrupts enabled. */
# define portTHUMB_MODE_BIT ( ( StackType_t ) 0x20 )
# define portINTERRUPT_ENABLE_BIT ( 0x80UL )
# define portTHUMB_MODE_ADDRESS ( 0x01UL )
/* Masks all bits in the APSR other than the mode bits. */
@ -393,6 +396,7 @@ void FreeRTOS_Tick_Handler( void )
/* Ensure all interrupt priorities are active again. */
portCLEAR_INTERRUPT_MASK ( ) ;
configCLEAR_TICK_INTERRUPT ( ) ;
}
/*-----------------------------------------------------------*/