2 * Copyright 2007, François Revol, revol@free.fr.
3 * Copyright 2006, Ingo Weinhold <bonefish@cs.tu-berlin.de>. All rights reserved.
4 * Copyright 2005-2007, Axel Dörfler, axeld@pinc-software.de
5 * Copyright 2003, Jeff Ward, jeff@r2d2.stcloudstate.edu. All rights reserved.
7 * Distributed under the terms of the MIT License.
11 #include <arch/real_time_clock.h>
13 #include <real_time_clock.h>
14 #include <real_time_data.h>
19 arch_rtc_init(kernel_args
*args
, struct real_time_data
*data
)
26 arch_rtc_get_hw_time(void)
32 arch_rtc_set_hw_time(uint32 seconds
)
38 arch_rtc_set_system_time_offset(struct real_time_data
*data
, bigtime_t offset
)
44 arch_rtc_get_system_time_offset(struct real_time_data
*data
)