Re: 2.6.31.4: WARNING: at arch/x86/kernel/hpet.c:390 hpet_next_event+0x70/0x80() [occurs when ACPI_PROCESSOR=y]

["Pallipadi, Venkatesh" <venkatesh.pallipadi@intel.com>]

On Tue, 2009-11-17 at 14:53 -0800, Justin Piszcz wrote:
> 
> On Tue, 17 Nov 2009, Pallipadi, Venkatesh wrote:
> 
> > On Tue, Nov 17, 2009 at 03:45:31AM -0800, Justin Piszcz wrote:
> > +		WARN_ON_ONCE((u32)hpet_readl(HPET_Tn_CMP(timer)) != cnt);
> >
> > 	return (s32)((u32)hpet_readl(HPET_COUNTER) - cnt) >= 0 ? -ETIME : 0;
> > }
> > -- 
> > 1.6.0.6
> 
> Hi, that omits the message @ boot and you are correct, all is/continues to work fine.
> 
> Thanks..
> 
> As far as the DP55KG reboots, the workaround is set append="reboot=a" -
> will a BIOS fix address this (other) issue? Try rebooting Linux without 
> any special parameters (2.6.30+) and the DP55KG will hang at reboot
> (note, shutdown does shut the machine off).
> 

I haven't seen this reboot problem on my test system here. So, I don't
know what the problem is. Probably some BIOS issue.

Does "reboot=b" work? Quickest solution will be to add platform dmi
entry in reboot.c and workaround this.

Thanks,
Venki