HPET从CentOS上的可用时钟源丢失

我在物理机器上使用HPET时遇到问题。这是不可用的，尽pipe我已经在我的BIOS中启用了它，强制它在grub中，并且三重检查了我的内核以在其编译中包含HPET。

主板：Supermicro X9DRW
处理器：2个Intel（R）Xeon（R）CPU E5-2640
SAS控制器：LSI Logic / Symbios Logic SAS2004 PCI-Express Fusion-MPT SAS-2 [Spitfire]（rev 03）
发行：CentOS 6.3
内核：3.4.21-rt32＃2 SMP PREEMPT RT x86_64 GNU / Linux
Grub：hpet = force clocksource = hpet

.config文件：

CONFIG_HPET_TIMER=y CONFIG_HPET_EMULATE_RTC=y CONFIG_HPET=y

dmesg | grep hpet：

 Command line: ro root=/dev/mapper/vg_xxxx-lv_root rd_NO_LUKS rd_LVM_LV=vg_xxxx/lv_root KEYBOARDTYPE=pc KEYTABLE=us rd_NO_MD SYSFONT=latarcyrheb-sun16 crashkernel=auto rd_LVM_LV=vg_xxxx/lv_swap rd_NO_DM LANG=en_US.UTF-8 rhgb quiet panic=5 hpet=force clocksource=hpet Kernel command line: ro root=/dev/mapper/vg_xxxx-lv_root rd_NO_LUKS rd_LVM_LV=vg_xxxx/lv_root KEYBOARDTYPE=pc KEYTABLE=us rd_NO_MD SYSFONT=latarcyrheb-sun16 crashkernel=auto rd_LVM_LV=vg_xxxx/lv_swap rd_NO_DM LANG=en_US.UTF-8 rhgb quiet panic=5 hpet=force clocksource=hpet

cat / sys / devices / system / clocksource / clocksource0 / current_clocksource：

tsc

cat / sys / devices / system / clocksource / clocksource0 / available_clocksource：

 tsc jiffies

更令人困惑的是，我有大约十几台使用相同内核.config的机器，可以使用HPET。我担心这是一个硬件问题，但将不胜感激任何build议或帮助获得HPET。

提前致谢！

其他信息将是有用的

dmesg|grep -i hpet – 用于某些HPET相关信息。
dmidecode – BIOS版本的一部分。

另外升级BIOS应该可能会有帮助。

PS。为什么不是TSC ？速度更快，如果您在/proc/cpuinfo同时使用了constant_tsc和nonstop_tsc ，那绝对是最好的select。