Esempio n. 1
0
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;
}
Esempio n. 2
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;
}