tree aa4cce2f8e3dce442f145fc2c71b6c7d9840ffe4
parent bbbd99955bfe84c9ae63f51db946a7bcd21f48be
author Thomas Gleixner <tglx@linutronix.de> 1195180910 -0500
committer Thomas Gleixner <tglx@apollo.(none)> 1195313221 +0100

x86: add hpet sanity checks

Some BIOSes advertise HPET at 0x0. We really do no want to 
allocate a resource there. Check for it and leave early.

Other BIOSes tell us the HPET is at 0xfed0000000000000 
instead of 0xfed00000. Add a check and fix it up with a warning
on user request.


Signed-off-by: Thomas Gleixner <tglx@linutronix.de>