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
panic(const char * format,...)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
dprintf(const char * format,...)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*
platform_debug_get_log_buffer(size_t * _size)37 platform_debug_get_log_buffer(size_t* _size)
38 {
39 return NULL;
40 }
41