Cc: Ingo Molnar <mingo@...>, Thomas Gleixner <tglx@...>, Ivan Kokshaysky <ink@...>, Thomas Meyer <thomas@...>, Rafael J. Wysocki <rjw@...>, LKML <linux-kernel@...>, Adrian Bunk <bunk@...>, Andrew Morton <akpm@...>, Natalie Protasevich <protasnb@...>
[...]
On my x86-32 test system, none of the devices gets an MMIO region above
the 4G map. (Reconfigured with CONFIG_RESOURCES_64BIT=y while having
CONFIG_HIGHMEM4G=y, like in Thomas M's .config.)
So the only thing I can confirm is that the patch builds and runs fine
on x86-64.
--
Stefan Richter
-=====-==--- --== =-===
http://arcgraph.de/sr/
--