1/*
2 * Copyright 2012-2022, Haiku, Inc. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 *
5 * Copyright 2004-2005, Axel D��rfler, axeld@pinc-software.de. All rights reserved.
6 * Distributed under the terms of the MIT License.
7 */
8
9
10#include "cpu.h"
11#include "efi_platform.h"
12
13#include <OS.h>
14#include <boot/platform.h>
15#include <boot/arch/arm/arch_cpu.h>
16
17
18bigtime_t
19system_time()
20{
21	#warning Implement system_time in ARM bootloader!
22	static bigtime_t sSystemTimeCounter = 0;
23	return sSystemTimeCounter++;
24}
25
26
27void
28spin(bigtime_t microseconds)
29{
30	kBootServices->Stall(microseconds);
31}
32