tcl/target: add SPDX tag

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

diff --git a/src/rtos/zephyr.c b/src/rtos/zephyr.c
index a5967355706e90764ab68ca02129cf2486749d55..7f3325fead50b5d41c0270582106b720ad2a96f7 100644 (file)
--- a/src/rtos/zephyr.c
+++ b/src/rtos/zephyr.c
@@ -189,9 +189,9 @@ enum zephyr_symbol_values {
        ZEPHYR_VAL_COUNT
 };
 
-static int64_t zephyr_cortex_m_stack_align(struct target *target,
+static target_addr_t zephyr_cortex_m_stack_align(struct target *target,
                const uint8_t *stack_data,
-               const struct rtos_register_stacking *stacking, int64_t stack_ptr)
+               const struct rtos_register_stacking *stacking, target_addr_t stack_ptr)
 {
        return rtos_cortex_m_stack_align(target, stack_data, stacking,
                        stack_ptr, ARM_XPSR_OFFSET);
@@ -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
        },
        {