1 /* 2 * Copyright 2003-2012, Axel Dörfler, axeld@pinc-software.de. 3 * Distributed under the terms of the MIT License. 4 */ 5 6 7 #include <boot/platform.h> 8 9 #include <stdio.h> 10 #include <stdarg.h> 11 12 13 void 14 panic(const char *format, ...) 15 { 16 va_list args; 17 18 puts("*** PANIC ***"); 19 va_start(args, format); 20 vprintf(format, args); 21 va_end(args); 22 } 23 24 25 void 26 dprintf(const char *format, ...) 27 { 28 va_list args; 29 30 va_start(args, format); 31 vprintf(format, args); 32 va_end(args); 33 } 34 35 36 char* 37 platform_debug_get_log_buffer(size_t* _size) 38 { 39 return NULL; 40 } 41