diff options
| author | Thomas Gleixner <tglx@linutronix.de> | 2007-11-15 21:41:50 -0500 |
|---|---|---|
| committer | Thomas Gleixner <tglx@apollo.(none)> | 2007-11-17 16:27:01 +0100 |
| commit | f4df73c2914a49bf6a55896aaecb0563c955e167 (patch) | |
| tree | aa4cce2f8e3dce442f145fc2c71b6c7d9840ffe4 /include | |
| parent | bbbd99955bfe84c9ae63f51db946a7bcd21f48be (diff) | |
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>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions