00000000-00000fff : reserved
00001000-0009ffff : System RAM
000a0000-000bffff : PCI Bus 0000:c0
000f0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-5f11ffff : System RAM
  27000000-377fffff : Crash kernel
5f120000-5f122fff : reserved
5f123000-5f530fff : System RAM
5f531000-5f531fff : reserved
5f532000-61496fff : System RAM
61497000-61598fff : reserved
61599000-61599fff : System RAM
6159a000-6169bfff : reserved
6169c000-69f7cfff : System RAM
69f7d000-69f7dfff : reserved
69f7e000-69fb0fff : System RAM
69fb1000-69fb1fff : reserved
69fb2000-69fbefff : System RAM
69fbf000-69fc8fff : reserved
69fc9000-6a337fff : System RAM
6a338000-6a33afff : reserved
6a33b000-6a85bfff : System RAM
6a85c000-6a85dfff : reserved
6a85e000-6a882fff : System RAM
6a883000-6a883fff : reserved
6a884000-6a8d4fff : System RAM
6a8d5000-6a8d5fff : reserved
6a8d6000-6bde6fff : System RAM
6bde7000-6d412fff : reserved
6d413000-6d421fff : System RAM
6d422000-6d422fff : reserved
6d423000-6f86afff : System RAM
6f86b000-6f96bfff : reserved
6f96c000-76255017 : System RAM
76255018-76380257 : System RAM
76380258-76381017 : System RAM
76381018-7638b857 : System RAM
7638b858-7638c017 : System RAM
7638c018-76394057 : System RAM
76394058-76395017 : System RAM
76395018-763f2a57 : System RAM
763f2a58-763f3017 : System RAM
763f3018-76450a57 : System RAM
76450a58-77d6bfff : System RAM
77d6c000-77d8bfff : ACPI Non-volatile Storage
77d8c000-77dbbfff : ACPI Tables
77dbc000-77dfdfff : reserved
  77dde004-77dde037 : APEI ERST
  77ddf000-77deefff : APEI ERST
77dfe000-77dfefff : System RAM
77dff000-8fffffff : reserved
  80000000-8fffffff : PCI MMCONFIG 0000 [bus 00-ff]
90000000-a9ffffff : PCI Bus 0000:40
  90000000-902fffff : PCI Bus 0000:42
    90000000-900fffff : 0000:42:00.3
      90000000-900fffff : xhci-hcd
    90100000-901fffff : 0000:42:00.1
    90200000-9027ffff : 0000:42:00.2
    90280000-90281fff : 0000:42:00.2
    90282000-90283fff : 0000:42:00.1
  90300000-903fffff : PCI Bus 0000:41
    90300000-9037ffff : 0000:41:00.2
    90380000-90381fff : 0000:41:00.2
  90400000-904fffff : PCI Bus 0000:43
    90400000-90407fff : 0000:43:00.0
      90400000-90407fff : smartpqi
  90500000-906fffff : PCI Bus 0000:45
aa100000-aa17ffff : amd_iommu
aa180000-aa18ffff : reserved
  aa180000-aa1803ff : IOAPIC 3
ab000000-c4ffffff : PCI Bus 0000:80
  ab000000-ab0fffff : PCI Bus 0000:81
    ab000000-ab07ffff : 0000:81:00.2
    ab080000-ab081fff : 0000:81:00.2
  ab100000-ab1fffff : PCI Bus 0000:82
    ab100000-ab17ffff : 0000:82:00.2
    ab180000-ab181fff : 0000:82:00.2
  ab200000-ab3fffff : PCI Bus 0000:83
c5100000-c517ffff : amd_iommu
c5180000-c518ffff : reserved
  c5180000-c51803ff : IOAPIC 2
c6000000-dfffffff : PCI Bus 0000:c0
  c6000000-cdbfffff : PCI Bus 0000:c1
    c6000000-c600ffff : 0000:c1:00.2
    c8000000-cbffffff : 0000:c1:00.0
    cc000000-ccffffff : 0000:c1:00.1
      cc000000-ccffffff : mgadrmfb_vram
    cd000000-cd7fffff : 0000:c1:00.1
    cd800000-cd9fffff : 0000:c1:00.0
    cda00000-cdafffff : 0000:c1:00.2
      cda00000-cdafffff : hpilo
    cdb00000-cdb7ffff : 0000:c1:00.2
      cdb00000-cdb7ffff : hpilo
    cdb80000-cdb8ffff : 0000:c1:00.2
      cdb80000-cdb8ffff : hpilo
    cdb90000-cdb97fff : 0000:c1:00.2
      cdb90000-cdb97fff : hpilo
    cdba0000-cdba3fff : 0000:c1:00.1
      cdba0000-cdba3fff : mgadrmfb_mmio
    cdba4000-cdba40ff : 0000:c1:00.4
      cdba4000-cdba40ff : ehci_hcd
    cdba5000-cdba50ff : 0000:c1:00.2
      cdba5000-cdba50ff : hpilo
    cdba6000-cdba63ff : 0000:c1:00.0
  ce000000-d00fffff : PCI Bus 0000:c5
    ce000000-ce7fffff : 0000:c5:00.0
      ce000000-ce7fffff : bnx2x
    ce800000-ceffffff : 0000:c5:00.0
      ce800000-ceffffff : bnx2x
    cf000000-cf7fffff : 0000:c5:00.1
      cf000000-cf7fffff : bnx2x
    cf800000-cfffffff : 0000:c5:00.1
      cf800000-cfffffff : bnx2x
    d0000000-d000ffff : 0000:c5:00.0
      d0000000-d000ffff : bnx2x
    d0010000-d001ffff : 0000:c5:00.1
      d0010000-d001ffff : bnx2x
    d0080000-d00fffff : 0000:c5:00.0
  d0100000-d01fffff : PCI Bus 0000:c3
    d0100000-d017ffff : 0000:c3:00.2
    d0180000-d0181fff : 0000:c3:00.2
  d0200000-d02fffff : PCI Bus 0000:c2
    d0200000-d027ffff : 0000:c2:00.2
    d0280000-d0281fff : 0000:c2:00.2
e0200000-e027ffff : amd_iommu
e0280000-e028ffff : reserved
  e0280000-e02803ff : IOAPIC 1
e1000000-fcffffff : PCI Bus 0000:00
  e1000000-e11fffff : PCI Bus 0000:02
    e1000000-e10fffff : 0000:02:00.3
      e1000000-e10fffff : xhci-hcd
    e1100000-e117ffff : 0000:02:00.2
    e1180000-e1181fff : 0000:02:00.2
  e1200000-e12fffff : PCI Bus 0000:01
    e1200000-e127ffff : 0000:01:00.2
    e1280000-e1281fff : 0000:01:00.2
  e1300000-e14fffff : PCI Bus 0000:03
fd100000-fd17ffff : amd_iommu
fd180000-fd18ffff : reserved
  fd180000-fd1803ff : IOAPIC 4
fec00000-fec0ffff : PNP0003:00
  fec00000-fec003ff : IOAPIC 0
fec10000-fec10fff : pnp 00:01
fed00000-fed003ff : HPET 0
  fed00000-fed001ff : PNP0103:00
fed80000-fed80fff : reserved
  fed80000-fed80fff : pnp 00:01
fed81d00-fed81dff : pnp 00:01
fed81e00-fed81eff : pnp 00:01
fedc0000-fedc1fff : pnp 00:01
fedc4000-feddffff : pnp 00:01
fee00000-feefffff : pnp 00:01
  fee00000-fee00fff : Local APIC
ff000000-ffffffff : pnp 00:01
100000000-207f1fffff : System RAM
  1e00e00000-1e015ce22f : Kernel code
  1e015ce230-1e01b6c3bf : Kernel data
  1e01d96000-1e020a3fff : Kernel bss
207f200000-20903fffff : reserved
20a0200000-2179fffffff : PCI Bus 0000:c0
  20a0200000-20a03fffff : PCI Bus 0000:c5
    20a0200000-20a027ffff : 0000:c5:00.1
    20a0280000-20a02fffff : 0000:c5:00.0
    20a0300000-20a031ffff : 0000:c5:00.1
    20a0320000-20a033ffff : 0000:c5:00.0
217a0000000-217b03fffff : reserved
217c0200000-40ebfffffff : PCI Bus 0000:80
  217c0200000-217c03fffff : PCI Bus 0000:83
40ec0000000-40ed03fffff : reserved
40ee0200000-605dfffffff : PCI Bus 0000:40
  40ee0200000-40ee03fffff : PCI Bus 0000:45
605e0000000-605f03fffff : reserved
60600200000-7fcffffffff : PCI Bus 0000:00
  60600200000-606003fffff : PCI Bus 0000:03