Hi all.

At boot I get:

<4> BIOS-e820: 0000000000000000 - 000000000009e000 (usable)
<4> BIOS-e820: 000000000009e000 - 00000000000a0000 (reserved)
<4> BIOS-e820: 00000000000e0000 - 0000000000100000 (reserved)
<4> BIOS-e820: 0000000000100000 - 00000000efff6500 (usable)
<4> BIOS-e820: 00000000efff6500 - 00000000f0000000 (ACPI data)
<4> BIOS-e820: 00000000fffb0000 - 0000000100000000 (reserved)
<4> BIOS-e820: 0000000100000000 - 0000000400000000 (usable)

It's the pages efff6000- which are causing me grief. if I understand
things correctly, page_is_ram is returning 0 for those pages, and as a
result they get marked reserved and not HighMem by one_highpage_init.

I suppose, then, that I need to check for and ignore pages >
highstart_pfn where PageHighMem is not set/Reserved is set. (Either
okay?).

Regards,

Nigel
-- 
My work on Software Suspend is graciously brought to you by
LinuxFund.org.