Kernel source code:

[freertos] / FreeRTOS / Source / portable / RVDS / ARM_CM4F / port.c

diff --git a/FreeRTOS/Source/portable/RVDS/ARM_CM4F/port.c b/FreeRTOS/Source/portable/RVDS/ARM_CM4F/port.c
index 18577f4f9d1d766a3a16a12f520283059d86760d..5309e461958e9d00d5e2148d4de58236337b173f 100644 (file)
--- a/FreeRTOS/Source/portable/RVDS/ARM_CM4F/port.c
+++ b/FreeRTOS/Source/portable/RVDS/ARM_CM4F/port.c
@@ -517,8 +517,9 @@ void xPortSysTickHandler( void )
        /* The SysTick runs at the lowest interrupt priority, so when this interrupt\r
        executes all interrupts must be unmasked.  There is therefore no need to\r
        save and then restore the interrupt mask value as its value is already\r
-       known. */\r
-       ( void ) portSET_INTERRUPT_MASK_FROM_ISR();\r
+       known - therefore the slightly faster vPortRaiseBASEPRI() function is used\r
+       in place of portSET_INTERRUPT_MASK_FROM_ISR(). */\r
+       vPortRaiseBASEPRI();\r
        {\r
                /* Increment the RTOS tick. */\r
                if( xTaskIncrementTick() != pdFALSE )\r
@@ -528,7 +529,7 @@ void xPortSysTickHandler( void )
                        portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET_BIT;\r
                }\r
        }\r
-       portCLEAR_INTERRUPT_MASK_FROM_ISR( 0 );\r
+       vPortClearBASEPRIFromISR();\r
 }\r
 /*-----------------------------------------------------------*/\r
 \r
@@ -662,7 +663,7 @@ void xPortSysTickHandler( void )
 \r
                                /* The reload value is set to whatever fraction of a single tick\r
                                period remains. */\r
-                               portNVIC_SYSTICK_LOAD_REG = ( ( ulCompleteTickPeriods + 1 ) * ulTimerCountsForOneTick ) - ulCompletedSysTickDecrements;\r
+                               portNVIC_SYSTICK_LOAD_REG = ( ( ulCompleteTickPeriods + 1UL ) * ulTimerCountsForOneTick ) - ulCompletedSysTickDecrements;\r
                        }\r
 \r
                        /* Restart SysTick so it runs from portNVIC_SYSTICK_LOAD_REG\r