int main(void) { l4_uint32_t value; if (l4rtc_get_offset_to_realtime(&value)) printf("Error: l4rtc_get_offset_to_realtime\n"); else printf("offset-to-realtime: %d\n", value); if (l4rtc_get_linux_tsc_scaler(&value)) printf("Error: l4rtc_get_linux_tsc_scaler\n"); else printf("linux-tsc-scaler: %d\n", value); while (1) { if (l4rtc_get_seconds_since_1970(&value)) printf("Error: l4rtc_get_seconds_since_1970\n"); else printf("time: %d\n", value); l4_sleep(400); } return 0; }
static int l4x_rtc_update_offset(void) { if (L4XV_FN_i(l4rtc_get_offset_to_realtime(rtc_server, &offset_to_realtime))) { pr_err("l4x-rtc: Failed getting time offset.\n"); return -ENOSYS; } return 0; }