Searched refs:portCPUID (Results 1 – 6 of 6) sorted by relevance
64 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro246 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()247 configASSERT( portCPUID != portCORTEX_M7_r0p0_ID ); in xPortStartScheduler()
57 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro302 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()303 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()
76 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro814 … configASSERT( ( portCPUID == portCORTEX_M7_r0p1_ID ) || ( portCPUID == portCORTEX_M7_r0p0_ID ) ); in xPortStartScheduler()819 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()820 configASSERT( portCPUID != portCORTEX_M7_r0p0_ID ); in xPortStartScheduler()
104 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro692 … configASSERT( ( portCPUID == portCORTEX_M7_r0p1_ID ) || ( portCPUID == portCORTEX_M7_r0p0_ID ) ); in xPortStartScheduler()697 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()698 configASSERT( portCPUID != portCORTEX_M7_r0p0_ID ); in xPortStartScheduler()
65 #define portCPUID ( *( ( volatile uint32_t * ) 0xE000ed00 ) ) macro808 … configASSERT( ( portCPUID == portCORTEX_M7_r0p1_ID ) || ( portCPUID == portCORTEX_M7_r0p0_ID ) ); in xPortStartScheduler()813 configASSERT( portCPUID != portCORTEX_M7_r0p1_ID ); in xPortStartScheduler()814 configASSERT( portCPUID != portCORTEX_M7_r0p0_ID ); in xPortStartScheduler()