1 /*
2  * Copyright (c) 2022, Cypress Semiconductor Corporation. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  *
6  */
7 
8 #ifndef __STACK_WATERMARK_H__
9 #define __STACK_WATERMARK_H__
10 
11 #include "spm.h"
12 
13 #ifdef CONFIG_TFM_STACK_WATERMARKS
14 void watermark_stack(struct partition_t *p_pt);
15 void dump_used_stacks(void);
16 #else
17 #define watermark_stack(p_pt)
18 #define dump_used_stacks()
19 #endif
20 
21 #endif /* __STACK_WATERMARK_H__ */
22