1/* 2 * Copyright 2014, General Dynamics C4 Systems 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#include <assert.h> 8#include <machine/io.h> 9 10#ifdef CONFIG_DEBUG_BUILD 11 12void _fail( 13 const char *s, 14 const char *file, 15 unsigned int line, 16 const char *function) 17{ 18 printf( 19 "seL4 called fail at %s:%u in function %s, saying \"%s\"\n", 20 file, 21 line, 22 function, 23 s 24 ); 25 halt(); 26} 27 28void _assert_fail( 29 const char *assertion, 30 const char *file, 31 unsigned int line, 32 const char *function) 33{ 34 printf("seL4 failed assertion '%s' at %s:%u in function %s\n", 35 assertion, 36 file, 37 line, 38 function 39 ); 40 halt(); 41} 42 43#endif 44