예제 #1
0
파일: main.c 프로젝트: MIPS/fiasco-l4re
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;
}
예제 #2
0
파일: rtc.c 프로젝트: michas2/l4re-snapshot
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;
}