| /* | |
| * Copyright (c) 2013-2017, ARM Limited and Contributors. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #include <assert.h> | |
| #include <console.h> | |
| #include <debug.h> | |
| #include <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 __assert(const char *file, unsigned int line, const char *assertion) | |
| { | |
| tf_printf("ASSERT: %s <%d> : %s\n", file, line, assertion); | |
| console_flush(); | |
| plat_panic_handler(); | |
| } | |
| #elif PLAT_LOG_LEVEL_ASSERT >= LOG_LEVEL_INFO | |
| void __assert(const char *file, unsigned int line) | |
| { | |
| tf_printf("ASSERT: %s <%d>\n", file, line); | |
| console_flush(); | |
| plat_panic_handler(); | |
| } | |
| #else | |
| void __assert(void) | |
| { | |
| plat_panic_handler(); | |
| } | |
| #endif |