00000000-00000fff : reserved
00001000-00057fff : System RAM
00058000-00058fff : reserved
00059000-0009efff : System RAM
0009f000-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000cfdff : Video ROM
000d0000-000d3fff : PCI Bus 0000:00
000d4000-000d7fff : PCI Bus 0000:00
000d8000-000dbfff : PCI Bus 0000:00
000dc000-000dffff : PCI Bus 0000:00
000f0000-000fffff : System ROM
00100000-7dff4fff : System RAM
  01000000-015dc490 : Kernel code
  015dc491-018f4cbf : Kernel data
  01a34000-01b56fff : Kernel bss
7dff5000-7dffbfff : ACPI Non-volatile Storage
7dffc000-7e45afff : System RAM
7e45b000-7e8d7fff : reserved
7e8d8000-9ca05fff : System RAM
9ca06000-9cd6cfff : reserved
9cd6d000-9cd8afff : ACPI Tables
9cd8b000-9d2b3fff : ACPI Non-volatile Storage
9d2b4000-9df4dfff : reserved
9df4e000-9dffefff : reserved
9dfff000-9dffffff : System RAM
9e000000-9effffff : RAM buffer
9f000000-af1fffff : reserved
af200000-feafffff : PCI Bus 0000:00
  b0000000-bfffffff : 0000:00:02.0
    b0000000-bfffffff : vfio-pci
  c0000000-d1ffffff : PCI Bus 0000:01
    c0000000-d1ffffff : PCI Bus 0000:02
      c0000000-d1ffffff : PCI Bus 0000:03
        c0000000-cfffffff : 0000:03:00.0
        d0000000-d1ffffff : 0000:03:00.0
  de000000-df1fffff : PCI Bus 0000:01
    de000000-df0fffff : PCI Bus 0000:02
      de000000-df0fffff : PCI Bus 0000:03
        de000000-deffffff : 0000:03:00.0
        df000000-df07ffff : 0000:03:00.0
        df080000-df083fff : 0000:03:00.1
    df100000-df13ffff : 0000:01:00.0
  df400000-df7fffff : 0000:00:02.0
    df400000-df7fffff : vfio-pci
  df800000-dfcfffff : PCI Bus 0000:0c
    df800000-df8fffff : 0000:0c:00.3
      df800000-df8fffff : igb
    df900000-df9fffff : 0000:0c:00.2
      df900000-df9fffff : igb
    dfa00000-dfafffff : 0000:0c:00.1
      dfa00000-dfafffff : igb
    dfb00000-dfbfffff : 0000:0c:00.0
      dfb00000-dfbfffff : igb
    dfc00000-dfc03fff : 0000:0c:00.3
      dfc00000-dfc03fff : igb
    dfc04000-dfc07fff : 0000:0c:00.2
      dfc04000-dfc07fff : igb
    dfc08000-dfc0bfff : 0000:0c:00.1
      dfc08000-dfc0bfff : igb
    dfc0c000-dfc0ffff : 0000:0c:00.0
      dfc0c000-dfc0ffff : igb
  dfd00000-dfd0ffff : 0000:00:14.0
    dfd00000-dfd0ffff : xhci-hcd
  dfd10000-dfd13fff : 0000:00:1b.0
    dfd10000-dfd13fff : ICH HD audio
  dfd14000-dfd17fff : 0000:00:03.0
    dfd14000-dfd17fff : ICH HD audio
  dfd18000-dfd180ff : 0000:00:1f.3
  dfd19000-dfd197ff : 0000:00:1f.2
    dfd19000-dfd197ff : ahci
  dfd1a000-dfd1a3ff : 0000:00:1d.0
    dfd1a000-dfd1a3ff : ehci_hcd
  dfd1b000-dfd1b3ff : 0000:00:1a.0
    dfd1b000-dfd1b3ff : ehci_hcd
  dfd1d000-dfd1d00f : 0000:00:16.0
    dfd1d000-dfd1d00f : mei_me
  dffe0000-dffeffff : pnp 00:07
  dfff0000-dfffffff : pnp 00:07
  e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
    e0000000-efffffff : reserved
      e0000000-efffffff : pnp 00:07
fec00000-fec00fff : reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed03fff : reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:07
fed18000-fed18fff : pnp 00:07
fed19000-fed19fff : pnp 00:07
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:07
    fed1f410-fed1f414 : iTCO_wdt.0.auto
      fed1f410-fed1f414 : iTCO_wdt
fed20000-fed3ffff : pnp 00:07
fed40000-fed44fff : pnp 00:00
fed45000-fed8ffff : pnp 00:07
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : reserved
ff000000-ffffffff : reserved
  ff000000-ffffffff : INT0800:00
    ff000000-ffffffff : pnp 00:07
100000000-84fdfffff : System RAM
84fe00000-84fffffff : RAM buffer
c00000000-fbfffffff : PCI Bus 0000:00
  c00000000-c000fffff : PCI Bus 0000:0c
    c00000000-c0001ffff : 0000:0c:00.0
    c00020000-c0003ffff : 0000:0c:00.0
    c00040000-c0005ffff : 0000:0c:00.1
    c00060000-c0007ffff : 0000:0c:00.1
    c00080000-c0009ffff : 0000:0c:00.2
    c000a0000-c000bffff : 0000:0c:00.2
    c000c0000-c000dffff : 0000:0c:00.3
    c000e0000-c000fffff : 0000:0c:00.3