Sorry I forgot to ask if the DEVICE_MEM_HIGH is in fact the HIGH limit for MMIO or not. Of course CPU must be instructed to decode the addresses as MMIO too. But in some range we need static allocation.
For MMIO decode:
DEVICE_MEM_LOW =< DEVICE_MEM_LOW_STATIC < DEVICE_MEM_HIGH_STATIC =< DEVICE_MEM_HIGH
And similar for IO decode.
Like here K8 resources:
MMIO map: #7 0x0040000000 - 0x00ff70ffff Access: R/W Dstnode:0 DstLink 0 IO map: #0 0x000000 - 0x000fff Access: / Dstnode:0 DstLink 0 IO map: #1 0x001000 - 0x0fffff Access: R/W VGA Dstnode:0 DstLink 0 IO map: #2 0x000000 - 0x000fff Access: / Dstnode:0 DstLink 0 IO map: #3 0x000000 - 0x000fff Access: / Dstnode:0 DstLink 0
Rudolf