关于Linux计时器中断频率的困惑

Question

我试图了解Linux计时器中断处理。
我的笔记本电脑中安装了Ubuntu-16.04 64位桌面版本。
首先，我从/ proc / interrupts检查了计时器中断，如下所示

#!/bin/bash
cat /proc/interrupts | grep "Local timer"
sleep 1
cat /proc/interrupts | grep "Local timer"

有了它，我在1秒钟内得到了大约100个中断。

然后，我编写了一个内核模块来转储HZ和jiffies。

printk("HZ = %d\n", HZ);
t1 = jiffies;
msleep(1000);
t2 = jiffies;
printk("t2-t1 = %lld\n", (t2-t1));

在我的Ubuntu系统中，它显示250，与内核配置匹配。

因此，我对在用户空间中看到的计时器中断的数量以及内核中的差异感到困惑。我错过了什么吗？

顺便说一句，我用grub.cfg中的'maxcpus = 1'引导系统，以精确地在一种CPU模式下计算计时器中断。