717 …  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()
756         configASSERT( pxVectorTable[ portVECTOR_INDEX_SVC ] == vPortSVCHandler );  in xPortStartScheduler()
757         configASSERT( pxVectorTable[ portVECTOR_INDEX_PENDSV ] == xPortPendSVHandler );  in xPortStartScheduler()
792         configASSERT( ucMaxSysCallPriority );  in xPortStartScheduler()
796 …configASSERT( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( uint8_t ) ( ~( uint32_t ) ucMaxPriorityVa…  in xPortStartScheduler()
826             configASSERT( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & 0x1U ) == 0U );  in xPortStartScheduler()
885     configASSERT( uxCriticalNesting == 1000UL );  in vPortEndScheduler()
907                 configASSERT( ( portNVIC_INT_CTRL_REG & portVECTACTIVE_MASK ) == 0 );  in vPortEnterCritical()
927                 configASSERT( ( portNVIC_INT_CTRL_REG & portVECTACTIVE_MASK ) == 0 );  in vPortEnterCritical()
941             configASSERT( ( portNVIC_INT_CTRL_REG & portVECTACTIVE_MASK ) == 0 );  in vPortEnterCritical()
955             configASSERT( uxCriticalNesting );  in vPortExitCritical()
970             configASSERT( uxCriticalNesting );  in vPortExitCritical()
979         configASSERT( uxCriticalNesting );  in vPortExitCritical()
1043     configASSERT( ( configTOTAL_MPU_REGIONS == 8 ) || ( configTOTAL_MPU_REGIONS == 16 ) );  in prvSetupMPU()
1046     configASSERT( portMPU_TYPE_REG == portEXPECTED_MPU_TYPE_VALUE );  in prvSetupMPU()
1340             configASSERT( ucCurrentPriority >= ucMaxSysCallPriority );  in vPortValidateInterruptPriority()
1356         configASSERT( ( portAIRCR_REG & portPRIORITY_GROUP_MASK ) <= ulMaxPRIGROUPValue );  in vPortValidateInterruptPriority()