headers/private/system/arch/arm/arch_real_time_data.h

   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 */