| /* |
| * Copyright (c) 2023, Arm Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| #ifndef CONTEXT_DEBUG_H |
| #define CONTEXT_DEBUG_H |
| |
| #if PLATFORM_REPORT_CTX_MEM_USE && defined(__aarch64__) |
| /******************************************************************************** |
| * Reports the allocated memory for every security state and then reports the |
| * total system-wide allocated memory. |
| *******************************************************************************/ |
| void report_ctx_memory_usage(void); |
| #else |
| static inline void report_ctx_memory_usage(void) {} |
| #endif /* PLATFORM_REPORT_CTX_MEM_USE */ |
| |
| #endif /* CONTEXT_DEBUG_H */ |