00000000-00000fff : Reserved
00001000-0009c7ff : System RAM
0009c800-0009ffff : Reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
000c8000-000cbfff : Adapter ROM
000e8024-000e804f : APEI ERST
000f0000-000fffff : Reserved
  000f0000-000fffff : System ROM
00100000-bddabfff : System RAM
  ad000000-bcffffff : Crash kernel
bddac000-bddddfff : ACPI Tables
bddde000-cfffffff : Reserved
  bddde000-bdddefff : APEI ERST
  c0000000-cfffffff : PCI MMCONFIG 0000 [bus 00-ff]
    c0000000-cfffffff : pnp 00:01
ed000000-f3ffffff : PCI Bus 0000:00
  ed000000-ed0fffff : PCI Bus 0000:03
    ed000000-ed03ffff : 0000:03:00.0
    ed040000-ed07ffff : 0000:03:00.2
    ed080000-ed0bffff : 0000:03:00.3
    ed0c0000-ed0dffff : 0000:03:00.1
  edffe000-edffefff : dmar1
  ee000000-eeffffff : PCI Bus 0000:01
    ee000000-eeffffff : 0000:01:00.1
      ee000000-eeffffff : mgadrmfb_vram
  eff00000-efffffff : PCI Bus 0000:03
    eff40000-eff4ffff : 0000:03:00.3
      eff40000-eff4ffff : tg3
    eff50000-eff5ffff : 0000:03:00.3
      eff50000-eff5ffff : tg3
    eff60000-eff6ffff : 0000:03:00.3
      eff60000-eff6ffff : tg3
    eff70000-eff7ffff : 0000:03:00.2
      eff70000-eff7ffff : tg3
    eff80000-eff8ffff : 0000:03:00.2
      eff80000-eff8ffff : tg3
    eff90000-eff9ffff : 0000:03:00.2
      eff90000-eff9ffff : tg3
    effa0000-effaffff : 0000:03:00.1
      effa0000-effaffff : tg3
    effb0000-effbffff : 0000:03:00.1
      effb0000-effbffff : tg3
    effc0000-effcffff : 0000:03:00.1
      effc0000-effcffff : tg3
    effd0000-effdffff : 0000:03:00.0
      effd0000-effdffff : tg3
    effe0000-effeffff : 0000:03:00.0
      effe0000-effeffff : tg3
    efff0000-efffffff : 0000:03:00.0
      efff0000-efffffff : tg3
  f0000000-f1ffffff : PCI Bus 0000:04
    f0000000-f1ffffff : 0000:04:00.0
      f0000000-f1ffffff : mlx5_core
  f2c50000-f2c503ff : 0000:00:1d.0
    f2c50000-f2c503ff : ehci_hcd
  f2c60000-f2c603ff : 0000:00:1a.0
    f2c60000-f2c603ff : ehci_hcd
  f2c70000-f2c70fff : 0000:00:05.4
  f2c80000-f2c83fff : 0000:00:04.7
    f2c80000-f2c83fff : ioatdma
  f2c90000-f2c93fff : 0000:00:04.6
    f2c90000-f2c93fff : ioatdma
  f2ca0000-f2ca3fff : 0000:00:04.5
    f2ca0000-f2ca3fff : ioatdma
  f2cb0000-f2cb3fff : 0000:00:04.4
    f2cb0000-f2cb3fff : ioatdma
  f2cc0000-f2cc3fff : 0000:00:04.3
    f2cc0000-f2cc3fff : ioatdma
  f2cd0000-f2cd3fff : 0000:00:04.2
    f2cd0000-f2cd3fff : ioatdma
  f2ce0000-f2ce3fff : 0000:00:04.1
    f2ce0000-f2ce3fff : ioatdma
  f2cf0000-f2cf3fff : 0000:00:04.0
    f2cf0000-f2cf3fff : ioatdma
  f2d00000-f3dfffff : PCI Bus 0000:01
    f2d00000-f2d0ffff : 0000:01:00.2
    f2d60000-f2d67fff : 0000:01:00.2
      f2d60000-f2d67fff : hpilo
    f2d70000-f2d77fff : 0000:01:00.2
      f2d70000-f2d77fff : hpilo
    f2d80000-f2dfffff : 0000:01:00.2
      f2d80000-f2dfffff : hpilo
    f2e00000-f2efffff : 0000:01:00.2
      f2e00000-f2efffff : hpilo
    f2ff0000-f2ff00ff : 0000:01:00.2
      f2ff0000-f2ff00ff : hpilo
    f3000000-f37fffff : 0000:01:00.1
    f3de0000-f3de3fff : 0000:01:00.1
      f3de0000-f3de3fff : mgadrmfb_mmio
    f3df0000-f3df01ff : 0000:01:00.0
  f3e00000-f3ffffff : PCI Bus 0000:02
    f3e00000-f3e7ffff : 0000:02:00.0
    f3ef0000-f3ef03ff : 0000:02:00.0
      f3ef0000-f3ef03ff : hpsa
    f3f00000-f3ffffff : 0000:02:00.0
      f3f00000-f3ffffff : hpsa
f7000000-fbffffff : PCI Bus 0000:20
  f7efe000-f7efefff : dmar0
  f7f70000-f7f70fff : 0000:20:05.4
  f7f80000-f7f83fff : 0000:20:04.7
    f7f80000-f7f83fff : ioatdma
  f7f90000-f7f93fff : 0000:20:04.6
    f7f90000-f7f93fff : ioatdma
  f7fa0000-f7fa3fff : 0000:20:04.5
    f7fa0000-f7fa3fff : ioatdma
  f7fb0000-f7fb3fff : 0000:20:04.4
    f7fb0000-f7fb3fff : ioatdma
  f7fc0000-f7fc3fff : 0000:20:04.3
    f7fc0000-f7fc3fff : ioatdma
  f7fd0000-f7fd3fff : 0000:20:04.2
    f7fd0000-f7fd3fff : ioatdma
  f7fe0000-f7fe3fff : 0000:20:04.1
    f7fe0000-f7fe3fff : ioatdma
  f7ff0000-f7ff3fff : 0000:20:04.0
    f7ff0000-f7ff3fff : ioatdma
  f8000000-fbffffff : PCI Bus 0000:21
    f8000000-fbffffff : 0000:21:00.0
      f8000000-fbffffff : hfi1
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-fed03fff : PCI Bus 0000:00
    fed00000-fed003ff : HPET 0
      fed00000-fed003ff : PNP0103:00
  fed1c000-fed1ffff : pnp 00:01
    fed1f410-fed1f414 : iTCO_wdt.1.auto
  fed30000-fed3ffff : pnp 00:01
  fed40000-fed44fff : PCI Bus 0000:00
  fee00000-fee00fff : Local APIC
    fee00000-fee00fff : pnp 00:01
ff800000-ffffffff : Reserved
  ff800000-ffffffff : pnp 00:01
100000000-c3fffefff : System RAM
  485c00000-486a01b07 : Kernel code
  486c00000-4875f0fff : Kernel rodata
  487600000-487b682ff : Kernel data
  4882a7000-4889fffff : Kernel bss
c3ffff000-c3fffffff : RAM buffer
