/*
 * Copyright 2021, Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 *
 */

#include <OS.h>
#include <boot/platform.h>
/*
#include <boot/stdio.h>
#include <boot/kernel_args.h>
#include <boot/stage2.h>
#include <arch/cpu.h>
#include <arch_kernel.h>
#include <arch_system_info.h>
#include <string.h>
*/

extern "C" status_t
boot_arch_cpu_init(void)
{
        return B_OK;
}


extern "C" void
arch_ucode_load(BootVolume& volume)
{
        // Yes, we have no bananas!
}


extern "C" bigtime_t
system_time()
{

        #warning Implement system_time in ARM64 bootloader!
        //https://en.wikipedia.org/wiki/Time_Stamp_Counter
        // read system time register:  cntpct_el0 / cntvct_el0
        // frequency of the system timer can be discovered by reading cntfrq_el0
        // https://wiki.osdev.org/ARMv7_Generic_Timers#CNTPCT

        uint64_t ticks;
        __asm__ volatile("mrs %0, cntpct_el0" : "=r"(ticks));
        //conversion factor stuff
        return ticks;
        //return u64_mul_u64_fp32_64(ticks, ns_per_cntpct);
}


extern "C" void
spin(bigtime_t microseconds)
{
        auto time = system_time();

        while ((system_time() - time) < microseconds)
                asm volatile ("yield;");
}