rtos: make private the API rtos_try_next()
authorAntonio Borneo <borneo.antonio@gmail.com>
Wed, 28 Oct 2020 22:44:07 +0000 (23:44 +0100)
committerAntonio Borneo <borneo.antonio@gmail.com>
Wed, 4 Nov 2020 17:39:42 +0000 (17:39 +0000)
commit61f872311c6051c5aab2834195bceb7482caf2e9
tree07d9abc276c0814798c0fea6a193d8c43c7d1e5f
parenta8b436c511dc39e0785af4c9256b7723692ba60e
rtos: make private the API rtos_try_next()

The function rtos_try_next() is only used internally.
Make it private.

Change-Id: I68c6b8d8e6bbf3d674b0e0199e63bc02d358c04e
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: http://openocd.zylin.com/5899
Tested-by: jenkins
src/rtos/rtos.c
src/rtos/rtos.h