f4df73c291
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> |
||
---|---|---|
.. | ||
boot.c | ||
cstate.c | ||
Makefile | ||
processor.c | ||
sleep_32.c | ||
sleep_64.c | ||
wakeup_32.S | ||
wakeup_64.S |