* Copyright 2005, Axel DΓΆrfler, axeld@pinc-software.de
* Copyright 2003, Jeff Ward, jeff@r2d2.stcloudstate.edu. All rights reserved.
*
* Distributed under the terms of the MIT License.
*/
#ifndef KERNEL_ARCH_REAL_TIME_CLOCK_H
#define KERNEL_ARCH_REAL_TIME_CLOCK_H
#include <kernel.h>
struct kernel_args;
struct real_time_data;
#ifdef __cplusplus
extern "C" {
#endif
status_t arch_rtc_init(struct kernel_args *args, struct real_time_data *data);
void arch_rtc_set_hw_time(uint32 seconds);
uint32 arch_rtc_get_hw_time(void);
void arch_rtc_set_system_time_offset(struct real_time_data *data,
bigtime_t offset);
bigtime_t arch_rtc_get_system_time_offset(struct real_time_data *data);
#ifdef __cplusplus
}
#endif
#endif