| * Copyright (c) 2013-2022, ARM Limited and Contributors. All rights reserved. |
| * SPDX-License-Identifier: BSD-3-Clause |
| #include <common/debug.h> |
| #include <drivers/console.h> |
| #include <plat/common/platform.h> |
| * Only print the output if PLAT_LOG_LEVEL_ASSERT is higher or equal to |
| * LOG_LEVEL_INFO, which is the default value for builds with DEBUG=1. |
| #if PLAT_LOG_LEVEL_ASSERT >= LOG_LEVEL_VERBOSE |
| void __dead2 __assert(const char *file, unsigned int line, |
| printf("ASSERT: %s:%u:%s\n", file, line, assertion); |
| #elif PLAT_LOG_LEVEL_ASSERT >= LOG_LEVEL_INFO |
| void __dead2 __assert(const char *file, unsigned int line) |
| printf("ASSERT: %s:%u\n", file, line); |
| void __dead2 __assert(void) |