mirror of
https://github.com/openocd-org/openocd.git
synced 2025-05-09 08:14:01 +08:00
382148e4dd
With the old checkpatch we cannot use the correct format for the SPDX tags in the file .c, in fact the C99 comments are not allowed and we had to use the block comment. With the new checkpatch, let's switch to the correct SPDX format. Change created automatically through the command: sed -i \ 's,^/\* *\(SPDX-License-Identifier: .*[^ ]\) *\*/$,// \1,' \ $(find src/ contrib/ -name \*.c) Change-Id: I6da16506baa7af718947562505dd49606d124171 Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com> Reviewed-on: https://review.openocd.org/c/openocd/+/7153 Tested-by: jenkins
23 lines
634 B
C
23 lines
634 B
C
// SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
/*
|
|
* Since at least FreeRTOS V7.5.3 uxTopUsedPriority is no longer
|
|
* present in the kernel, so it has to be supplied by other means for
|
|
* OpenOCD's threads awareness.
|
|
*
|
|
* Add this file to your project, and, if you're using --gc-sections,
|
|
* ``--undefined=uxTopUsedPriority'' (or
|
|
* ``-Wl,--undefined=uxTopUsedPriority'' when using gcc for final
|
|
* linking) to your LDFLAGS; same with all the other symbols you need.
|
|
*/
|
|
|
|
#include "FreeRTOS.h"
|
|
|
|
#ifdef __GNUC__
|
|
#define USED __attribute__((used))
|
|
#else
|
|
#define USED
|
|
#endif
|
|
|
|
const int USED uxTopUsedPriority = configMAX_PRIORITIES - 1;
|