* Copyright 2012-2022, Haiku, Inc. All rights reserved.
* Distributed under the terms of the MIT License.
*
* Copyright 2004-2005, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
* Distributed under the terms of the MIT License.
*/
#include "cpu.h"
#include "efi_platform.h"
#include <OS.h>
#include <boot/platform.h>
#include <boot/arch/arm/arch_cpu.h>
bigtime_t
system_time()
{
#warning Implement system_time in ARM bootloader!
static bigtime_t sSystemTimeCounter = 0;
return sSystemTimeCounter++;
}
void
spin(bigtime_t microseconds)
{
kBootServices->Stall(microseconds);
}
