tapset-time-user.stp

#!/usr/bin/env stap

probe begin
{
  timer_begin("bench")
  for(i=0; i<100; i++);
  printf("%d cycles\n", timer_end("bench"))
  exit()
}

function __time_value() {
  return get_ticks()
}