50400000-8fec9fff : System RAM
90000000-1fefffffff : System RAM
400000000000-401fef5cffff : System RAM
  400000004000-4000006da93f : Kernel code
  4000006da940-400000a9985f : Kernel data
  400000b44000-400000d04517 : Kernel bss
2000000100000-200007effffff : /pci@300
  20000001a0000-20000001bffff : Video RAM area
  20000001c0000-20000001c7fff : Video ROM
  20000001f0000-20000001fffff : System ROM
  2000000200000-20000003fffff : PCI Bus 0000:01
    2000000200000-20000003fffff : PCI Bus 0000:02
      2000000200000-20000003fffff : PCI Bus 0000:03
        2000000200000-200000027ffff : 0000:03:00.2
        2000000280000-20000002fffff : 0000:03:00.3
  2000000400000-20000103fffff : PCI Bus 0000:06
    2000000400000-20000103fffff : PCI Bus 0000:07
      2000000400000-20000083fffff : PCI Bus 0000:08
      2000008400000-20000103fffff : PCI Bus 0000:28
2000100000000-2000dffffffff : /pci@300
  2000100100000-20001200fffff : PCI Bus 0000:01
    2000100100000-20001200fffff : PCI Bus 0000:02
      2000100100000-20001100fffff : PCI Bus 0000:03
        2000100800000-2000100807fff : 0000:03:00.0
        2000100808000-200010080ffff : 0000:03:00.1
          2000100808000-200010080ffff : i40e
        2000100910000-2000100b0ffff : 0000:03:00.0
        2000100b10000-2000100b8ffff : 0000:03:00.0
        2000100b90000-2000100d8ffff : 0000:03:00.1
          2000100d10000-2000100d17fff : i40e
          2000100d18000-2000100d1ffff : i40e
        2000100d90000-2000100e0ffff : 0000:03:00.1
        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
        2000102900000-2000102afffff : 0000:03:00.3
        2000102b00000-2000102b7ffff : 0000:03:00.3
        2000110000000-200011000ffff : xhci-hcd
      2000110100000-20001200fffff : PCI Bus 0000:04
  2000120100000-20001400fffff : PCI Bus 0000:06
    2000120100000-20001400fffff : PCI Bus 0000:07
      2000120100000-20001300fffff : PCI Bus 0000:08
      2000130100000-20001400fffff : PCI Bus 0000:28
2020000100000-202007effffff : /pci@302
  20200001a0000-20200001bffff : Video RAM area
  20200001c0000-20200001c7fff : Video ROM
  20200001f0000-20200001fffff : System ROM
  2020000200000-20200002fffff : PCI Bus 0001:01
    2020000200000-20200002fffff : PCI Bus 0001:02
      2020000200000-20200002fffff : PCI Bus 0001:03
  2020000300000-20200103fffff : PCI Bus 0001:05
    2020000300000-20200103fffff : PCI Bus 0001:06
      2020000300000-20200082fffff : PCI Bus 0001:07
      2020008300000-20200102fffff : PCI Bus 0001:2d
      2020010300000-20200103fffff : PCI Bus 0001:54
2020100000000-2020dffffffff : /pci@302
  2020100100000-20202100fffff : PCI Bus 0001:01
    2020100100000-20202100fffff : PCI Bus 0001:02
      2020100100000-20202100fffff : PCI Bus 0001:03
        2020100108000-2020100187fff : 0001:03:00.0
        2020100188000-2020100207fff : 0001:03:00.0
        2020108000000-202010fffffff : 0001:03:00.0
        2020110100000-20202100fffff : 0001:03:00.0
  2020210100000-20202400fffff : PCI Bus 0001:05
    2020210100000-20202400fffff : PCI Bus 0001:06
      2020210100000-20202200fffff : PCI Bus 0001:07
      2020220100000-20202300fffff : PCI Bus 0001:2d
        2020230000000-202023000ffff : mpt3sas
        2020230040000-202023007ffff : mpt3sas
      2020230100000-20202400fffff : PCI Bus 0001:54