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 13void 14panic(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 25void 26dprintf(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 36char* 37platform_debug_get_log_buffer(size_t* _size) 38{ 39 return NULL; 40} 41