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 /*-----------------------------------------------------------*/
91 configMAX_SYSCALL_INTERRUPT_PRIORITY.  An extra check is performed if
153     /* Check the configuration. */
162     /*-----------------------------------------------------------*/
164 …#define portGET_HIGHEST_PRIORITY( uxTopPriority, uxReadyPriorities ) uxTopPriority = ( 31UL - _clz…
168 /*-----------------------------------------------------------*/
187 /*-----------------------------------------------------------*/
192 /*-----------------------------------------------------------*/
201 /* *INDENT-OFF* */
205 /* *INDENT-ON* */