Searched refs:portCPUID (Results 1 – 6 of 6) sorted by relevance
68 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro260 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()261 configASSERT( portCPUID != portCORTEX_M7_r0p0_ID ); in xPortStartScheduler()
61 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro311 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()312 configASSERT( portCPUID != portCORTEX_M7_r0p0_ID ); in xPortStartScheduler()
70 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro327 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()328 configASSERT( portCPUID != portCORTEX_M7_r0p0_ID ); in xPortStartScheduler()
107 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro717 … configASSERT( ( portCPUID == portCORTEX_M7_r0p1_ID ) || ( portCPUID == portCORTEX_M7_r0p0_ID ) ); in xPortStartScheduler()723 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()724 configASSERT( portCPUID != portCORTEX_M7_r0p0_ID ); in xPortStartScheduler()
79 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro822 … configASSERT( ( portCPUID == portCORTEX_M7_r0p1_ID ) || ( portCPUID == portCORTEX_M7_r0p0_ID ) ); in xPortStartScheduler()828 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()829 configASSERT( portCPUID != portCORTEX_M7_r0p0_ID ); in xPortStartScheduler()
68 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro821 … configASSERT( ( portCPUID == portCORTEX_M7_r0p1_ID ) || ( portCPUID == portCORTEX_M7_r0p0_ID ) ); in xPortStartScheduler()827 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()828 configASSERT( portCPUID != portCORTEX_M7_r0p0_ID ); in xPortStartScheduler()