x86: add hpet sanity checks
authorThomas Gleixner <tglx@linutronix.de>
Fri, 16 Nov 2007 02:41:50 +0000 (21:41 -0500)
committerThomas Gleixner <tglx@apollo.(none)>
Sat, 17 Nov 2007 15:27:01 +0000 (16:27 +0100)
commitf4df73c2914a49bf6a55896aaecb0563c955e167
treeaa4cce2f8e3dce442f145fc2c71b6c7d9840ffe4
parentbbbd99955bfe84c9ae63f51db946a7bcd21f48be
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>
arch/x86/kernel/acpi/boot.c