#! stap -p4

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