00000000-00000fff : reserved
00001000-0009b3ff : System RAM
0009b400-0009bfff : reserved
0009c000-0009dfff : RAM buffer
0009e000-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
000e8024-000e804f : APEI ERST
000f0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-75dabfff : System RAM
  2b000000-351fffff : Crash kernel
75dac000-75dddfff : ACPI Tables
75dde000-8fffffff : reserved
  75dde000-75ddefff : APEI ERST
  80000000-8fffffff : PCI MMCONFIG 0000 [bus 00-ff]
    80000000-8fffffff : pnp 00:01
bc000000-f7ffffff : PCI Bus 0000:00
  bc000000-bc0fffff : PCI Bus 0000:02
    bc000000-bc01ffff : 0000:02:00.0
    bc020000-bc03ffff : 0000:02:00.0
    bc040000-bc05ffff : 0000:02:00.1
    bc060000-bc07ffff : 0000:02:00.1
    bc080000-bc09ffff : 0000:02:00.2
    bc0a0000-bc0bffff : 0000:02:00.2
    bc0c0000-bc0dffff : 0000:02:00.3
    bc0e0000-bc0fffff : 0000:02:00.3
  beffe000-beffefff : dmar1
  bf000000-bfffffff : PCI Bus 0000:01
    bf000000-bfffffff : 0000:01:00.1
      bf000000-bfffffff : mgadrmfb_vram
  c0000000-dfffffff : PCI Bus 0000:06
    c0000000-dfffffff : 0000:06:00.0
  f6440000-f64407ff : 0000:00:1f.2
    f6440000-f64407ff : ahci
  f6450000-f64503ff : 0000:00:1d.0
    f6450000-f64503ff : ehci_hcd
  f6460000-f64603ff : 0000:00:1a.0
    f6460000-f64603ff : ehci_hcd
  f6470000-f6470fff : 0000:00:05.4
  f6480000-f6483fff : 0000:00:04.7
    f6480000-f6483fff : ioatdma
  f6490000-f6493fff : 0000:00:04.6
    f6490000-f6493fff : ioatdma
  f64a0000-f64a3fff : 0000:00:04.5
    f64a0000-f64a3fff : ioatdma
  f64b0000-f64b3fff : 0000:00:04.4
    f64b0000-f64b3fff : ioatdma
  f64c0000-f64c3fff : 0000:00:04.3
    f64c0000-f64c3fff : ioatdma
  f64d0000-f64d3fff : 0000:00:04.2
    f64d0000-f64d3fff : ioatdma
  f64e0000-f64e3fff : 0000:00:04.1
    f64e0000-f64e3fff : ioatdma
  f64f0000-f64f3fff : 0000:00:04.0
    f64f0000-f64f3fff : ioatdma
  f6500000-f75fffff : PCI Bus 0000:01
    f6500000-f650ffff : 0000:01:00.2
    f6560000-f6567fff : 0000:01:00.2
      f6560000-f6567fff : hpilo
    f6570000-f6577fff : 0000:01:00.2
      f6570000-f6577fff : hpilo
    f6580000-f65fffff : 0000:01:00.2
      f6580000-f65fffff : hpilo
    f6600000-f66fffff : 0000:01:00.2
      f6600000-f66fffff : hpilo
    f67f0000-f67f00ff : 0000:01:00.2
      f67f0000-f67f00ff : hpilo
    f6800000-f6ffffff : 0000:01:00.1
    f75e0000-f75e3fff : 0000:01:00.1
      f75e0000-f75e3fff : mgadrmfb_mmio
    f75f0000-f75f01ff : 0000:01:00.0
  f7600000-f7dfffff : PCI Bus 0000:02
    f7600000-f767ffff : 0000:02:00.0
    f76f0000-f76f3fff : 0000:02:00.3
      f76f0000-f76f3fff : igb
    f7700000-f77fffff : 0000:02:00.3
      f7700000-f77fffff : igb
    f7800000-f787ffff : 0000:02:00.1
    f78f0000-f78f3fff : 0000:02:00.2
      f78f0000-f78f3fff : igb
    f7900000-f79fffff : 0000:02:00.2
      f7900000-f79fffff : igb
    f7a00000-f7a7ffff : 0000:02:00.2
    f7af0000-f7af3fff : 0000:02:00.1
      f7af0000-f7af3fff : igb
    f7b00000-f7bfffff : 0000:02:00.1
      f7b00000-f7bfffff : igb
    f7c00000-f7c7ffff : 0000:02:00.3
    f7cf0000-f7cf3fff : 0000:02:00.0
      f7cf0000-f7cf3fff : igb
    f7d00000-f7dfffff : 0000:02:00.0
      f7d00000-f7dfffff : igb
  f7e00000-f7efffff : PCI Bus 0000:06
    f7ef0000-f7ef7fff : 0000:06:00.0
  f7f00000-f7ffffff : PCI Bus 0000:07
    f7f00000-f7f1ffff : 0000:07:00.0
    f7f80000-f7fbffff : 0000:07:00.0
      f7f80000-f7fbffff : 3w-sas
    f7ff0000-f7ff3fff : 0000:07:00.0
      f7ff0000-f7ff3fff : 3w-sas
f8000000-fbffffff : PCI Bus 0000:20
  fbefe000-fbefefff : dmar0
  fbf70000-fbf70fff : 0000:20:05.4
  fbf80000-fbf83fff : 0000:20:04.7
    fbf80000-fbf83fff : ioatdma
  fbf90000-fbf93fff : 0000:20:04.6
    fbf90000-fbf93fff : ioatdma
  fbfa0000-fbfa3fff : 0000:20:04.5
    fbfa0000-fbfa3fff : ioatdma
  fbfb0000-fbfb3fff : 0000:20:04.4
    fbfb0000-fbfb3fff : ioatdma
  fbfc0000-fbfc3fff : 0000:20:04.3
    fbfc0000-fbfc3fff : ioatdma
  fbfd0000-fbfd3fff : 0000:20:04.2
    fbfd0000-fbfd3fff : ioatdma
  fbfe0000-fbfe3fff : 0000:20:04.1
    fbfe0000-fbfe3fff : ioatdma
  fbff0000-fbff3fff : 0000:20:04.0
    fbff0000-fbff3fff : ioatdma
fc000000-fc000fff : pnp 00:01
fe000000-febfffff : pnp 00:01
fec00000-fee0ffff : reserved
  fec00000-fec003ff : IOAPIC 0
  fec10000-fec103ff : IOAPIC 1
  fec40000-fec403ff : IOAPIC 2
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
  fed1c000-fed1ffff : pnp 00:01
    fed1f410-fed1f414 : iTCO_wdt.0.auto
  fed30000-fed3ffff : pnp 00:01
  fee00000-fee00fff : Local APIC
    fee00000-fee00fff : pnp 00:01
ff800000-ffffffff : reserved
  ff800000-ffffffff : pnp 00:01
100000000-87fffefff : System RAM
  115000000-11579b278 : Kernel code
  11579b279-115d6bdff : Kernel data
  115f65000-116272fff : Kernel bss
87ffff000-87fffffff : RAM buffer