1 /* 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. 6 * 7 * Distributed under the terms of the MIT License. 8 */ 9 10 11 #include <arch/real_time_clock.h> 12 13 #include <real_time_clock.h> 14 #include <real_time_data.h> 15 #include <smp.h> 16 17 18 status_t 19 arch_rtc_init(kernel_args *args, struct real_time_data *data) 20 { 21 return B_NOT_SUPPORTED; 22 } 23 24 25 uint32 26 arch_rtc_get_hw_time(void) 27 { 28 return 0; 29 } 30 31 32 void 33 arch_rtc_set_hw_time(uint32 seconds) 34 { 35 } 36 37 38 void 39 arch_rtc_set_system_time_offset(struct real_time_data *data, bigtime_t offset) 40 { 41 } 42 43 44 bigtime_t 45 arch_rtc_get_system_time_offset(struct real_time_data *data) 46 { 47 return 0; 48 } 49