On Wed, 24 May 2017 08:57:53 +0000 "Cheng, Collins" <Collins.Cheng@xxxxxxx> wrote: > Hi Alex, > > How do you know "particular this system offers no 64-bit MMIO", from dmesg log? >From this: > [ 0.891319] pci_bus 0000:00: root bus resource [io 0x0000-0x0cf7 window] > [ 0.891321] pci_bus 0000:00: root bus resource [io 0x0d00-0xffff window] > [ 0.891322] pci_bus 0000:00: root bus resource [mem 0x000a0000-0x000bffff window] > [ 0.891323] pci_bus 0000:00: root bus resource [mem 0x88800000-0xdfffffff window] > [ 0.891324] pci_bus 0000:00: root bus resource [mem 0xfd000000-0xfe7fffff window] > [ 0.891325] pci_bus 0000:00: root bus resource [bus 00-fe] There are only 32-bit ranges listed. Thanks, Alex