src/rtos/rtos_standard_stackings.h

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2
   3 /***************************************************************************
   4  *   Copyright (C) 2011 by Broadcom Corporation                            *
   5  *   Evan Hunter - ehunter@broadcom.com                                    *
   6  ***************************************************************************/
   7
   8 #ifndef OPENOCD_RTOS_RTOS_STANDARD_STACKINGS_H
   9 #define OPENOCD_RTOS_RTOS_STANDARD_STACKINGS_H
  10
  11 #include "rtos.h"
  12
  13 extern const struct rtos_register_stacking rtos_standard_cortex_m3_stacking;
  14 extern const struct rtos_register_stacking rtos_standard_cortex_m4f_stacking;
  15 extern const struct rtos_register_stacking rtos_standard_cortex_m4f_fpu_stacking;
  16 extern const struct rtos_register_stacking rtos_standard_cortex_r4_stacking;
  17 target_addr_t rtos_generic_stack_align8(struct target *target,
  18         const uint8_t *stack_data, const struct rtos_register_stacking *stacking,
  19         target_addr_t stack_ptr);
  20 target_addr_t rtos_cortex_m_stack_align(struct target *target,
  21         const uint8_t *stack_data, const struct rtos_register_stacking *stacking,
  22         target_addr_t stack_ptr, size_t xpsr_offset);
  23
  24 #endif /* OPENOCD_RTOS_RTOS_STANDARD_STACKINGS_H */