Lines Matching +full:- +full:- +full:check

5  * SPDX-License-Identifier: MIT
35 /* *INDENT-OFF* */
39 /* *INDENT-ON* */
41 /*-----------------------------------------------------------
48  *-----------------------------------------------------------
71     /* 32-bit tick type on a 32-bit architecture, so reads of the tick count do
77 /*-----------------------------------------------------------*/
81 #define portSTACK_GROWTH            -1
83 /*-----------------------------------------------------------*/
93 configMAX_SYSCALL_INTERRUPT_PRIORITY.  An extra check is performed if
164     /* Check the configuration. */
173     /*-----------------------------------------------------------*/
175 …#define portGET_HIGHEST_PRIORITY( uxTopPriority, uxReadyPriorities ) uxTopPriority = ( 31UL - _clz…
179 /*-----------------------------------------------------------*/
198 /*-----------------------------------------------------------*/
203 /*-----------------------------------------------------------*/
212 /* *INDENT-OFF* */
216 /* *INDENT-ON* */