#! stap -p4

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