On Thu, Feb 19, 2009 at 10:54:19AM -0500, Mark Hounschell wrote:
> Borislav Petkov wrote:
> > On Thu, Feb 19, 2009 at 10:16:40AM -0500, Mark Hounschell wrote:
> >> Andreas Herrmann wrote:
> >>> Hi Mark,
> >>>
> >>> Can you please provide us output of lspci -vvxxx.
> >>> (Please run this as root.)
> >>>
> 
> Attached...
> 
> 
> >>> Furthermore you can try booting your 1000HZ kernel
> >>> with following kernel command lines:
> >>>

Thanks for trying this out.
But nothing suspicious found. I.e. timer/hpet interrupt is enabled
and its routing seems to be ok.

Here's one more check that's worth trying: In one of your logs I've
seen that HPET id reports 3 timers but later on 4 timers were detected
for HPET.

To check what's going on I'd like to see the HPET configuration in the
course of booting your system.  Please apply attached patch and boot
with hpet=debug -- both with 250HZ and with 1000HZ -- and provide dmesg
output.


Regards,

Andreas

-- 
Operating | Advanced Micro Devices GmbH
  System  | Karl-Hammerschmidt-Str. 34, 85609 Dornach b. München, Germany
 Research | Geschäftsführer: Jochen Polster, Thomas M. McCoy, Giuliano Meroni
  Center  | Sitz: Dornach, Gemeinde Aschheim, Landkreis München
  (OSRC)  | Registergericht München, HRB Nr. 43632