1572edf33SAxel Dörfler/*
2d6e44a2aSAxel Dörfler * Copyright 2003-2012, Axel D��rfler, axeld@pinc-software.de.
3d6e44a2aSAxel Dörfler * Distributed under the terms of the MIT License.
4d6e44a2aSAxel Dörfler */
5572edf33SAxel Dörfler
6572edf33SAxel Dörfler
7572edf33SAxel Dörfler#include <boot/platform.h>
8572edf33SAxel Dörfler
9572edf33SAxel Dörfler#include <stdio.h>
10572edf33SAxel Dörfler#include <stdarg.h>
11572edf33SAxel Dörfler
12572edf33SAxel Dörfler
13572edf33SAxel Dörflervoid
14572edf33SAxel Dörflerpanic(const char *format, ...)
15572edf33SAxel Dörfler{
16572edf33SAxel Dörfler	va_list args;
17572edf33SAxel Dörfler
18572edf33SAxel Dörfler	puts("*** PANIC ***");
19572edf33SAxel Dörfler	va_start(args, format);
20572edf33SAxel Dörfler	vprintf(format, args);
21572edf33SAxel Dörfler	va_end(args);
22572edf33SAxel Dörfler}
23572edf33SAxel Dörfler
24572edf33SAxel Dörfler
25572edf33SAxel Dörflervoid
26572edf33SAxel Dörflerdprintf(const char *format, ...)
27572edf33SAxel Dörfler{
28572edf33SAxel Dörfler	va_list args;
29572edf33SAxel Dörfler
30572edf33SAxel Dörfler	va_start(args, format);
31572edf33SAxel Dörfler	vprintf(format, args);
32572edf33SAxel Dörfler	va_end(args);
33572edf33SAxel Dörfler}
34572edf33SAxel Dörfler
35d6e44a2aSAxel Dörfler
36d6e44a2aSAxel Dörflerchar*
37d6e44a2aSAxel Dörflerplatform_debug_get_log_buffer(size_t* _size)
38d6e44a2aSAxel Dörfler{
39d6e44a2aSAxel Dörfler	return NULL;
40d6e44a2aSAxel Dörfler}
41