\r
#define portNVIC_INT_CTRL_REG ( * ( ( volatile uint32_t * ) 0xe000ed04 ) )\r
#define portNVIC_PENDSVSET_BIT ( 1UL << 28UL )\r
-#define portEND_SWITCHING_ISR( xSwitchRequired ) if( xSwitchRequired ) portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET\r
+#define portEND_SWITCHING_ISR( xSwitchRequired ) if( xSwitchRequired ) portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET_BIT\r
#define portYIELD_FROM_ISR( x ) portEND_SWITCHING_ISR( x )\r
/*-----------------------------------------------------------*/\r
\r
/* Set the privilege level to user mode if xRunningPrivileged is false. */\r
portFORCE_INLINE static void vPortResetPrivilege( BaseType_t xRunningPrivileged )\r
{\r
- if( xRunningPrivileged != pdTRUE ) \r
+ if( xRunningPrivileged != pdTRUE )\r
{\r
__asm volatile ( " mrs r0, control \n" \\r
" orr r0, #1 \n" \\r