Files
openocd/src/rtos
Antonio Borneo 61f872311c 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
2020-11-04 17:39:42 +00:00
..
2020-07-26 20:13:41 +01:00
2018-10-16 11:58:03 +01:00
2020-11-04 17:39:11 +00:00
2020-07-26 20:11:52 +01:00
2018-08-01 14:33:50 +01:00
2020-11-04 17:39:11 +00:00
2020-07-26 20:11:52 +01:00