tcl/target: add SPDX tag

[fw/openocd] / src / rtos / zephyr.c

diff --git a/src/rtos/zephyr.c b/src/rtos/zephyr.c
index 630511636babb41ee6137e2e8c1005f7213093c6..7f3325fead50b5d41c0270582106b720ad2a96f7 100644 (file)
--- a/src/rtos/zephyr.c
+++ b/src/rtos/zephyr.c
@@ -375,15 +375,15 @@ static const struct symbol_table_elem zephyr_symbol_list[] = {
                .optional = false
        },
        {
-               .symbol_name = "_kernel_openocd_offsets",
+               .symbol_name = "_kernel_thread_info_offsets",
                .optional = false
        },
        {
-               .symbol_name = "_kernel_openocd_size_t_size",
+               .symbol_name = "_kernel_thread_info_size_t_size",
                .optional = false
        },
        {
-               .symbol_name = "_kernel_openocd_num_offsets",
+               .symbol_name = "_kernel_thread_info_num_offsets",
                .optional = true
        },
        {