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 #ifdef HAVE_CONFIG_H
  12 #include "config.h"
  13 #endif
  14
  15 #include "rtos.h"
  16
  17 extern const struct rtos_register_stacking rtos_standard_cortex_m3_stacking;
  18 extern const struct rtos_register_stacking rtos_standard_cortex_m4f_stacking;
  19 extern const struct rtos_register_stacking rtos_standard_cortex_m4f_fpu_stacking;
  20 extern const struct rtos_register_stacking rtos_standard_cortex_r4_stacking;
  21 extern const struct rtos_register_stacking rtos_standard_nds32_n1068_stacking;
  22 target_addr_t rtos_generic_stack_align8(struct target *target,
  23         const uint8_t *stack_data, const struct rtos_register_stacking *stacking,
  24         target_addr_t stack_ptr);
  25 target_addr_t rtos_cortex_m_stack_align(struct target *target,
  26         const uint8_t *stack_data, const struct rtos_register_stacking *stacking,
  27         target_addr_t stack_ptr, size_t xpsr_offset);
  28
  29 #endif /* OPENOCD_RTOS_RTOS_STANDARD_STACKINGS_H */