000c0000-000c7fff : Video ROM
000f0000-000fffff : System ROM
50400000-8fec9fff : System RAM
90000000-1fefffffff : System RAM
400000000000-401fef5cffff : System RAM
  400000004000-4000006da93f : Kernel code
  4000006da940-400000a998df : Kernel data
  400000b44000-400000d04517 : Kernel bss
2000000100000-200007effffff : /pci@300
  20000001a0000-20000001bffff : Video RAM area
  2000000300000-20000102fffff : PCI Bus 0000:06
    2000000300000-20000102fffff : PCI Bus 0000:07
      2000000300000-20000082fffff : PCI Bus 0000:08
      2000008300000-20000102fffff : PCI Bus 0000:28
2000100000000-2000dffffffff : /pci@300
  2000100000000-200011fffffff : PCI Bus 0000:01
    2000100000000-200011fffffff : PCI Bus 0000:02
      2000100000000-200010fffffff : PCI Bus 0000:03
        2000100000000-20001007fffff : 0000:03:00.0
          2000100000000-20001007fffff : i40e
        2000100800000-2000100807fff : 0000:03:00.0
          2000100800000-2000100807fff : i40e
        2000100808000-200010080ffff : 0000:03:00.1
          2000100808000-200010080ffff : i40e
        2000100810000-2000100a0ffff : 0000:03:00.0
        2000100a10000-2000100a8ffff : 0000:03:00.0
        2000100a90000-2000100c8ffff : 0000:03:00.1
        2000100c90000-2000100d0ffff : 0000:03:00.1
        2000100d10000-2000100d17fff : 0000:03:00.2
          2000100d10000-2000100d17fff : i40e
        2000100d18000-2000100d1ffff : 0000:03:00.3
          2000100d18000-2000100d1ffff : i40e
        2000100d20000-2000100f1ffff : 0000:03:00.2
        2000100f20000-2000100f9ffff : 0000:03:00.2
        2000101000000-20001017fffff : 0000:03:00.1
          2000101000000-20001017fffff : i40e
        2000101800000-2000101ffffff : 0000:03:00.2
          2000101800000-2000101ffffff : i40e
        2000102000000-20001027fffff : 0000:03:00.3
          2000102000000-20001027fffff : i40e
        2000102800000-20001029fffff : 0000:03:00.3
        2000102a00000-2000102a7ffff : 0000:03:00.3
      2000110000000-200011fffffff : PCI Bus 0000:04
        2000110000000-200011000ffff : xhci-hcd
  2000120000000-200013fffffff : PCI Bus 0000:06
    2000120000000-200013fffffff : PCI Bus 0000:07
      2000120000000-200012fffffff : PCI Bus 0000:08
      2000130000000-200013fffffff : PCI Bus 0000:28
2020000100000-202007effffff : /pci@302
  20200001a0000-20200001bffff : Video RAM area
  2020000200000-20200102fffff : PCI Bus 0001:05
    2020000200000-20200102fffff : PCI Bus 0001:06
      2020000200000-20200081fffff : PCI Bus 0001:07
      2020008200000-20200101fffff : PCI Bus 0001:2d
      2020010200000-20200102fffff : PCI Bus 0001:54
        2020010200000-20200102fffff : 0001:54:00.0
2020100000000-2020dffffffff : /pci@302
  2020100000000-202020fffffff : PCI Bus 0001:01
    2020100000000-202020fffffff : PCI Bus 0001:02
      2020100000000-202020fffffff : PCI Bus 0001:03
        2020100000000-2020100003fff : 0001:03:00.0
        2020100004000-2020100007fff : 0001:03:00.0
        2020100008000-2020100087fff : 0001:03:00.0
        2020100088000-2020100107fff : 0001:03:00.0
        2020108000000-202010fffffff : 0001:03:00.0
        2020110000000-202020fffffff : 0001:03:00.0
  2020210000000-202023fffffff : PCI Bus 0001:05
    2020210000000-202023fffffff : PCI Bus 0001:06
      2020210000000-202021fffffff : PCI Bus 0001:07
      2020220000000-202022fffffff : PCI Bus 0001:2d
      2020230000000-202023fffffff : PCI Bus 0001:54
        2020230000000-202023000ffff : mpt3sas
        2020230040000-202023007ffff : mpt3sas