1 /* 2 * Copyright 2006, Ingo Weinhold <bonefish@cs.tu-berlin.de>. 3 * All rights reserved. Distributed under the terms of the MIT License. 4 */ 5 #ifndef _KERNEL_ARCH_REAL_TIME_DATA_H 6 #define _KERNEL_ARCH_REAL_TIME_DATA_H 7 8 #include <StorageDefs.h> 9 #include <SupportDefs.h> 10 11 #warning ARM: fix system_time() 12 13 struct arm_real_time_data { 14 vint64 system_time_offset; 15 }; 16 17 struct arch_real_time_data { 18 struct arm_real_time_data data[2]; 19 vint32 system_time_conversion_factor; 20 vint32 version; 21 }; 22 23 #endif /* _KERNEL_ARCH_REAL_TIME_DATA_H */ 24