#include <arch/real_time_clock.h>#include <real_time_clock.h>#include <real_time_data.h>status_tarch_rtc_init(kernel_args *args, struct real_time_data *data){return B_OK;}uint32arch_rtc_get_hw_time(void){return 0;}voidarch_rtc_set_hw_time(uint32 seconds){}voidarch_rtc_set_system_time_offset(struct real_time_data *data, bigtime_t offset){}bigtime_tarch_rtc_get_system_time_offset(struct real_time_data *data){return 0;}