#! stap -p4

# Test for reading 64-bit target variable, PR 1271

probe kernel.function("free_task")
{
	printf("timestamp %d\n", $tsk->timestamp)
}

probe kernel.function("vfs_llseek")
{ 
	printf("offset %d\n", $offset)
}