Searched refs:portNVIC_INT_CTRL (Results 1 – 3 of 3) sorted by relevance
204 *( portNVIC_INT_CTRL ) = portNVIC_PENDSVSET; in vPortYield()227 configASSERT( ( ( *( portNVIC_INT_CTRL ) ) & portVECTACTIVE_MASK ) == 0 ); in vPortEnterCritical()255 *( portNVIC_INT_CTRL ) = portNVIC_PENDSVSET; in SysTick_Handler()
87 #define portNVIC_INT_CTRL ( ( volatile uint32_t * ) 0xe000ed04 ) macro97 *( portNVIC_INT_CTRL ) = portNVIC_PENDSVSET; \
87 #define portNVIC_INT_CTRL ( ( volatile uint32_t * ) 0xe000ed04 ) macro96 *( portNVIC_INT_CTRL ) = portNVIC_PENDSVSET; \