/* Copyright 2019, Adrien Destugues, pulkomandy@pulkomandy.tk.
 * Distributed under the terms of the MIT License.
 */


#include <arch/platform.h>
#include <boot/kernel_args.h>
#include <Htif.h>
#include <Plic.h>
#include <Clint.h>
#include <platform/sbi/sbi_syscalls.h>

#include <debug.h>


uint32 gPlatform;

void* gFDT = NULL;

HtifRegs  *volatile gHtifRegs  = (HtifRegs *volatile)0;
PlicRegs  *volatile gPlicRegs;
ClintRegs *volatile gClintRegs;


status_t
arch_platform_init(struct kernel_args *args)
{
	gPlatform = args->arch_args.machine_platform;

	debug_early_boot_message("machine_platform: ");
	switch (gPlatform) {
		case kPlatformMNative:
			debug_early_boot_message("Native mmode hooks\n");
			break;
		case kPlatformSbi:
			debug_early_boot_message("SBI\n");
			break;
		default:
			debug_early_boot_message("?\n");
			break;
	}

	gFDT = args->arch_args.fdt;

	gHtifRegs  = (HtifRegs *volatile)args->arch_args.htif.start;
	gPlicRegs  = (PlicRegs *volatile)args->arch_args.plic.start;
	gClintRegs = (ClintRegs *volatile)args->arch_args.clint.start;

	return B_OK;
}


status_t
arch_platform_init_post_vm(struct kernel_args *kernelArgs)
{
	if (gPlatform == kPlatformSbi) {
		sbiret res;
		res = sbi_get_spec_version();
		dprintf("SBI spec version: %#lx\n", res.value);
		res = sbi_get_impl_id();
		dprintf("SBI implementation ID: %#lx\n", res.value);
		res = sbi_get_impl_version();
		dprintf("SBI implementation version: %#lx\n", res.value);
		res = sbi_get_mvendorid();
		dprintf("SBI vendor ID: %#lx\n", res.value);
		res = sbi_get_marchid();
		dprintf("SBI arch ID: %#lx\n", res.value);
	}
	return B_OK;
}


status_t
arch_platform_init_post_thread(struct kernel_args *kernelArgs)
{
	return B_OK;
}