#include "Kernel.hpp"

uint32_t kernel_LaunchDataPage = 0;
uint32_t kernel_IdexChannelObject = 0;
XBOX_HARDWARE_INFO kernel_XboxHardwareInfo = {
	0xC0000035,
	0,0,0,0
};
uint32_t kernel_XboxKrnlVersion = 0;
char *kernel_XeImageFileName = 0;

void kernel_DbgPrint(char *format, ...) {
	va_list arglist;

	auto prefix = "DbgPrint: ";
	auto cf = new char[strlen(prefix) + strlen(format) + 1];
	memcpy(cf, prefix, strlen(prefix));
	memcpy(cf + strlen(prefix), format, strlen(format) + 1);

	va_start(arglist, format);
	log(cf, arglist);
	va_end(arglist);
	
	delete cf;
}

void NTAPI kernel_RtlAssert(char *message, char *filename, uint32_t line, uint32_t unk) {
	if(message == NULL) message = (char *) "~NULL~";
	if(filename == NULL) filename = (char *) "~NULL~";
	log("Failed assert %s in %s on line %i", message, filename, line);
	halt();
}

void NTAPI kernel_HalReturnToFirmware() {
	log("HalReturnToFirmware");
	halt();
}

void NTAPI kernel_HalRegisterShutdownNotification(
	PHAL_SHUTDOWN_REGISTRATION ShutdownRegistration, 
	CHAR Register
) {
	// XXX: Implement
}

NTSTATUS NTAPI kernel_ExQueryNonVolatileSetting(
	IN  DWORD               ValueIndex,
	OUT DWORD              *Type,
	OUT PUCHAR              Value,
	IN  SIZE_T              ValueLength,
	OUT PSIZE_T             ResultLength OPTIONAL
) {
	auto val = query_eeprom(ValueIndex);
	if(Type)
		*Type = 4;
	if(Value)
		*((uint32_t *) Value) = val;
	if(ResultLength)
		*ResultLength = 4;

	return STATUS_SUCCESS;
}

ULONG NTAPI kernel_RtlNtStatusToDosError(NTSTATUS Status) {
	return 0;
}

void NTAPI kernel_KeQuerySystemTime(uint64_t *time) {
	get_system_time(time);
}