/*
 * Copyright 2004-2007, Axel Dörfler, axeld@pinc-software.de.
 * Distributed under the terms of the MIT License.
 */


#include "keyboard.h"
#include "rom_calls.h"
#include "Handle.h"
#include "console.h"
#include "keyboard.h"

#include <boot/platform.h>
#include <boot/stdio.h>
#include <stdarg.h>
#include <string.h>

#include <Errors.h>

extern FILE *dbgerr;

/*!	This works only after console_init() was called.
*/
void
panic(const char *format, ...)
{
	static struct AlertMessage {
		uint16	column1;
		uint8	line1;
		char	message[14];
		uint8	cont;
		uint16	column2;
		uint8	line2;
		char	buffer[512];
		uint8	end;

	} _PACKED alert = {
		10, 12,
		"*** PANIC ***",
		1,
		10, 22,
		"",
		0
	};

	char *buffer = alert.buffer;
	va_list list;

	//platform_switch_to_text_mode();

	memset(buffer, 0, 512);

	va_start(list, format);
	vsnprintf(buffer, 512, format, list);
	va_end(list);

	DisplayAlert(DEADEND_ALERT, &alert, 40);

	//clear_key_buffer();
	//wait_for_key();
	platform_exit();
}


void
dprintf(const char *format, ...)
{
	char buffer[512];
	va_list list;

	//platform_switch_to_text_mode();

	va_start(list, format);
	if (dbgerr)
		vfprintf(dbgerr, format, list);
	//vsnprintf(buffer, sizeof(buffer), format, list);
	va_end(list);

	//if (platform_boot_options() & BOOT_OPTION_DEBUG_OUTPUT)
	//	Bconput(DEV_CONSOLE, buffer);
}


char*
platform_debug_get_log_buffer(size_t* _size)
{
	return NULL;
}