1 /* 2 * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <assert.h> 8 #include <cdefs.h> 9 #include <console.h> 10 #include <debug.h> 11 #include <platform.h> 12 13 /* 14 * Only print the output if PLAT_LOG_LEVEL_ASSERT is higher or equal to 15 * LOG_LEVEL_INFO, which is the default value for builds with DEBUG=1. 16 */ 17 18 #if PLAT_LOG_LEVEL_ASSERT >= LOG_LEVEL_VERBOSE 19 void __assert(const char *file, unsigned int line, const char *assertion) 20 { 21 tf_printf("ASSERT: %s:%d:%s\n", file, line, assertion); 22 console_flush(); 23 plat_panic_handler(); 24 } 25 #elif PLAT_LOG_LEVEL_ASSERT >= LOG_LEVEL_INFO 26 void __assert(const char *file, unsigned int line) 27 { 28 tf_printf("ASSERT: %s:%d\n", file, line); 29 console_flush(); 30 plat_panic_handler(); 31 } 32 #else 33 void __assert(void) 34 { 35 plat_panic_handler(); 36 } 37 #endif 38