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 18 bigtime_t system_time()19system_time() 20 { 21 #warning Implement system_time in ARM bootloader! 22 static bigtime_t sSystemTimeCounter = 0; 23 return sSystemTimeCounter++; 24 } 25 26 27 void spin(bigtime_t microseconds)28spin(bigtime_t microseconds) 29 { 30 kBootServices->Stall(microseconds); 31 } 32