happened to me as well, both 2.6.28 & 2.6.31
cpu is an single quad core with HT X3450
[ 2.158796] ------------[ cut here ]------------ [ 2.158808] WARNING: at /build/buildd/linux-2.6.31/arch/x86/kernel/hpet.c:390 hpet_next_event+0x75/0x90() [ 2.158817] Hardware name: PowerEdge T310 [ 2.158821] Modules linked in: [ 2.158829] Pid: 0, comm: swapper Not tainted 2.6.31-14-server #48-Ubuntu [ 2.158837] BIOS EDD facility v0.16 2004-Jun-25, 0 devices found [ 2.158842] EDD information not available. [ 2.158848] Call Trace: [ 2.158858] [<ffffffff8105e618>] warn_slowpath_common+0x78/0xb0 [ 2.158865] [<ffffffff8105e65f>] warn_slowpath_null+0xf/0x20 [ 2.158871] [<ffffffff81034335>] hpet_next_event+0x75/0x90 [ 2.158877] [<ffffffff8103437b>] hpet_legacy_next_event+0xb/0x10 [ 2.158885] [<ffffffff810851df>] clockevents_program_event+0x4f/0x90 [ 2.158893] [<ffffffff810866d0>] tick_dev_program_event+0x40/0xd0 [ 2.158900] [<ffffffff81086066>] tick_broadcast_oneshot_control+0x116/0x120 [ 2.158907] [<ffffffff81085950>] tick_notify+0x130/0x1a0 [ 2.158916] [<ffffffff81529887>] notifier_call_chain+0x47/0x90 [ 2.158923] [<ffffffff8107d331>] raw_notifier_call_chain+0x11/0x20 [ 2.158929] [<ffffffff81084fe4>] clockevents_notify+0x34/0xa0 [ 2.158937] [<ffffffff812d5b6a>] lapic_timer_state_broadcast+0x41/0x43 [ 2.158943] [<ffffffff812d60c7>] acpi_idle_enter_bm+0x185/0x2bf [ 2.158949] [<ffffffff812d5f34>] ? acpi_idle_enter_c1+0xae/0xbc [ 2.158958] [<ffffffff813fc13b>] cpuidle_idle_call+0x9b/0xf0 [ 2.158966] [<ffffffff81010e02>] cpu_idle+0xb2/0x100 [ 2.158972] [<ffffffff81521166>] start_secondary+0xa9/0xab [ 2.158977] ---[ end trace decc02a3eb18b513 ]---
happened to me as well, both 2.6.28 & 2.6.31
cpu is an single quad core with HT X3450
[ 2.158796] ------------[ cut here ]------------ buildd/ linux-2. 6.31/arch/ x86/kernel/ hpet.c: 390 hpet_next_ event+0x75/ 0x90() 618>] warn_slowpath_ common+ 0x78/0xb0 65f>] warn_slowpath_ null+0xf/ 0x20 335>] hpet_next_ event+0x75/ 0x90 37b>] hpet_legacy_ next_event+ 0xb/0x10 1df>] clockevents_ program_ event+0x4f/ 0x90 6d0>] tick_dev_ program_ event+0x40/ 0xd0 066>] tick_broadcast_ oneshot_ control+ 0x116/0x120 950>] tick_notify+ 0x130/0x1a0 887>] notifier_ call_chain+ 0x47/0x90 331>] raw_notifier_ call_chain+ 0x11/0x20 fe4>] clockevents_ notify+ 0x34/0xa0 b6a>] lapic_timer_ state_broadcast +0x41/0x43 0c7>] acpi_idle_ enter_bm+ 0x185/0x2bf f34>] ? acpi_idle_ enter_c1+ 0xae/0xbc 13b>] cpuidle_ idle_call+ 0x9b/0xf0 e02>] cpu_idle+0xb2/0x100 166>] start_secondary +0xa9/0xab
[ 2.158808] WARNING: at /build/
[ 2.158817] Hardware name: PowerEdge T310
[ 2.158821] Modules linked in:
[ 2.158829] Pid: 0, comm: swapper Not tainted 2.6.31-14-server #48-Ubuntu
[ 2.158837] BIOS EDD facility v0.16 2004-Jun-25, 0 devices found
[ 2.158842] EDD information not available.
[ 2.158848] Call Trace:
[ 2.158858] [<ffffffff8105e
[ 2.158865] [<ffffffff8105e
[ 2.158871] [<ffffffff81034
[ 2.158877] [<ffffffff81034
[ 2.158885] [<ffffffff81085
[ 2.158893] [<ffffffff81086
[ 2.158900] [<ffffffff81086
[ 2.158907] [<ffffffff81085
[ 2.158916] [<ffffffff81529
[ 2.158923] [<ffffffff8107d
[ 2.158929] [<ffffffff81084
[ 2.158937] [<ffffffff812d5
[ 2.158943] [<ffffffff812d6
[ 2.158949] [<ffffffff812d5
[ 2.158958] [<ffffffff813fc
[ 2.158966] [<ffffffff81010
[ 2.158972] [<ffffffff81521
[ 2.158977] ---[ end trace decc02a3eb18b513 ]---