| Juan Pablo Conde | b5ec138 | 2023-11-08 16:14:28 -0600 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2023, Arm Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | #ifndef CONTEXT_DEBUG_H |
| 7 | #define CONTEXT_DEBUG_H |
| 8 | |
| 9 | #if PLATFORM_REPORT_CTX_MEM_USE && defined(__aarch64__) |
| 10 | /******************************************************************************** |
| 11 | * Reports the allocated memory for every security state and then reports the |
| 12 | * total system-wide allocated memory. |
| 13 | *******************************************************************************/ |
| 14 | void report_ctx_memory_usage(void); |
| 15 | #else |
| 16 | static inline void report_ctx_memory_usage(void) {} |
| 17 | #endif /* PLATFORM_REPORT_CTX_MEM_USE */ |
| 18 | |
| 19 | #endif /* CONTEXT_DEBUG_H */ |