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
13struct arm_real_time_data {
14	vint64	system_time_offset;
15};
16
17struct 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