ubuntu如何处理jiffies问题？

Question

我的嵌入式linux系统启动后，由

返回的64位jiffies

# include <sys/times.h>

long long unsigned int tmpJiffies = times(NULL);

printf("the tmpJiffies is 0x%llx.\n", tmpJiffies);

将是0xffff ffff ffff b22b。

5分钟后，返回值将回绕到零并继续增加。

我在linux kernel \ include \ linux \ jiffies.h的源代码中找到了 有这样的代码：

/*
 * Have the 32 bit jiffies value wrap 5 minutes after boot
 * so jiffies wrap bugs show up earlier.
 */
#define INITIAL_JIFFIES ((unsigned long)(unsigned int) (-300*HZ))

这就是为什么自系统启动以来jiffies在5分钟后回转的原因。

但是当我在我的ubuntu linux机器上试用它时，jiffies的返回值是不同的。 它从0x6667bf66开始。

我想知道ubuntu怎么做到这一点？