1 /*
2  * Copyright (c) 2022-2024, Cypress Semiconductor Corporation (an Infineon
3  * company) or an affiliate of Cypress Semiconductor Corporation. All rights
4  * reserved.
5  *
6  * SPDX-License-Identifier: BSD-3-Clause
7  *
8  */
9 
10 #ifndef __STACK_WATERMARK_H__
11 #define __STACK_WATERMARK_H__
12 
13 #include "spm.h"
14 
15 #ifdef CONFIG_TFM_STACK_WATERMARKS
16 #ifndef CONFIG_TFM_USE_TRUSTZONE
17 void watermark_spm_stack(void);
18 #endif
19 void watermark_stack(const struct partition_t *p_pt);
20 void dump_used_stacks(void);
21 #else
22 #define watermark_spm_stack()
23 #define watermark_stack(p_pt)
24 #define dump_used_stacks()
25 #endif
26 
27 #endif /* __STACK_WATERMARK_H__ */
28