flash/nor/at91samd: Use 32-bit register writes for ST-Link compat
[fw/openocd] / 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 */