Messages in this thread | | | Date | Fri, 29 Aug 2008 08:26:52 -0700 (PDT) | From | Linus Torvalds <> | Subject | Re: [PATCH] x86: split e820 reserved entries record to late v4 |
| |
On Fri, 29 Aug 2008, Ingo Molnar wrote: > > BIOS-e820: 0000000077ff0000 - 0000000078000000 (reserved) > BIOS-e820: 00000000e0000000 - 00000000f0000000 (reserved) > BIOS-e820: 00000000fec00000 - 0000000100000000 (reserved) > > which overlaps with the chipset PCI BAR (hpet) resource: > > pci 0000:00:14.0: BAR has HPET at fed00000-fed003ff > > so due to this 1K conflict we take the full e820-reserved entry out and > give the range 0xfec00000-0x100000000 as 'free'.
That's wrong. It's a full overlap, so "insert_resource()" should happily insert the 00000000fec00000 - 0000000100000000 _around_ the HPET bar.
Do you actually see this behavior, or do you just misunderstand how "insert_resource()" works?
Linus
| |