riscv-openocd/src/rtos
Evgeniy Naydanov 0cedf10f8f Remove duplicate of a counter in hwthread_update_threads
There is no need to count number of examined threads twice.

Signed-off-by: Evgeniy Naydanov <evgeniy.naydanov@syntacore.com>
Change-Id: Id32ead853d1ddcd4e67062d6f795700feb20cb4b
Reviewed-on: https://review.openocd.org/c/openocd/+/7223
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
2022-10-08 07:52:12 +00:00
..
FreeRTOS.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
Makefile.am openocd: build: add SPDX tag 2022-07-23 13:06:38 +00:00
ThreadX.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
chibios.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
chromium-ec.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
eCos.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
embKernel.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
hwthread.c Remove duplicate of a counter in hwthread_update_threads 2022-10-08 07:52:12 +00:00
linux.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
linux_header.h openocd: src: add GPL license tag on files that miss it 2022-07-23 13:13:39 +00:00
mqx.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
nuttx.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
nuttx_header.h openocd: src/rtos: replace the GPL-2.0-or-later license tag 2022-07-23 13:58:32 +00:00
riot.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
rtos.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
rtos.h openocd: src/rtos: replace the GPL-2.0-or-later license tag 2022-07-23 13:58:32 +00:00
rtos_chibios_stackings.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
rtos_chibios_stackings.h openocd: src/rtos: replace the GPL-2.0-or-later license tag 2022-07-23 13:58:32 +00:00
rtos_ecos_stackings.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
rtos_ecos_stackings.h openocd: src/rtos: replace the GPL-2.0-or-later license tag 2022-07-23 13:58:32 +00:00
rtos_embkernel_stackings.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
rtos_embkernel_stackings.h openocd: src/rtos: replace the GPL-2.0-or-later license tag 2022-07-23 13:58:32 +00:00
rtos_mqx_stackings.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
rtos_mqx_stackings.h openocd: src/rtos: replace the GPL-2.0-or-later license tag 2022-07-23 13:58:32 +00:00
rtos_riot_stackings.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
rtos_riot_stackings.h openocd: src/rtos: replace the GPL-2.0-or-later license tag 2022-07-23 13:58:32 +00:00
rtos_standard_stackings.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
rtos_standard_stackings.h openocd: src/rtos: replace the GPL-2.0-or-later license tag 2022-07-23 13:58:32 +00:00
rtos_ucos_iii_stackings.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
rtos_ucos_iii_stackings.h openocd: src/rtos: replace the GPL-2.0-or-later license tag 2022-07-23 13:58:32 +00:00
uCOS-III.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00
zephyr.c openocd: fix SPDX tag format for files .c 2022-09-18 08:22:01 +00:00