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
2009-11-19T22:08:39Z

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