#! stap -p4

# Test for getting at an external global variable PR10622
probe kernel.function("do_gettimeofday")
{
  printf("xtime.tv_sec:%d\n",
	 (@defined($timekeeper->xtime_sec) ? $timekeeper->xtime_sec
          : (@defined($timekeeper->xtime->tv_sec) ? $timekeeper->xtime->tv_sec
	     : $xtime->tv_sec)))
  exit();
}
