1 /* 2 * Copyright 2006, Ingo Weinhold <bonefish@cs.tu-berlin.de>. 3 * Distributed under the terms of the MIT License. 4 */ 5 6 #include <OS.h> 7 8 #include <arch_cpu.h> 9 #include <libroot_private.h> 10 #include <real_time_data.h> 11 12 13 void 14 __arch_init_time(struct real_time_data *data, bool setDefaults) 15 { 16 } 17 18 19 bigtime_t 20 __arch_get_system_time_offset(struct real_time_data *data) 21 { 22 return 0; 23 } 24