bpftrace打印内核全局变量

bpftrace自带的kaddr(char *name)函数可以用来返回指定全局变量的地址，通过解引用可以得到该全局变量的值。

例如，打印jiffies可以使用如下代码：

 printf("jiffies: %lu\n", *kaddr("jiffies"));