00000000-00000fff : Reserved
00001000-00057fff : System RAM
00058000-00058fff : Reserved
00059000-0009dfff : System RAM
0009e000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000c0000-000c3fff : PCI Bus 0000:00
  000c4000-000c7fff : PCI Bus 0000:00
  000c8000-000cbfff : PCI Bus 0000:00
  000cc000-000cffff : PCI Bus 0000:00
  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-386f9fff : System RAM
386fa000-386fafff : ACPI Non-volatile Storage
386fb000-386fbfff : Reserved
386fc000-47e5bfff : System RAM
47e5c000-4821efff : Reserved
4821f000-48269fff : ACPI Tables
4826a000-48bb6fff : ACPI Non-volatile Storage
  48b98000-48b98fff : USBC000:00
48bb7000-49531fff : Reserved
49532000-495fefff : Unknown E820 type
495ff000-495fffff : System RAM
49600000-4f7fffff : Reserved
  4b800000-4f7fffff : Graphics Stolen Memory
4f800000-efffffff : PCI Bus 0000:00
  a0000000-b01fffff : PCI Bus 0000:01
    a0000000-afffffff : 0000:01:00.0
    b0000000-b01fffff : 0000:01:00.0
  bc000000-ea0fffff : PCI Bus 0000:04
    bc000000-ea0fffff : PCI Bus 0000:05
      bc000000-d3efffff : PCI Bus 0000:07
        bc000000-d3efffff : PCI Bus 0000:08
          bc000000-bc0fffff : PCI Bus 0000:09
          bc000000-bc03ffff : 0000:09:00.0
          bc040000-bc05ffff : 0000:09:00.0
          bc060000-bc063fff : 0000:09:00.1
          bc060000-bc063fff : ICH HD audio
      d3f00000-d3ffffff : PCI Bus 0000:3a
      d4000000-e9ffffff : PCI Bus 0000:3b
      ea000000-ea0fffff : PCI Bus 0000:06
        ea000000-ea03ffff : 0000:06:00.0
          ea000000-ea03ffff : thunderbolt
        ea040000-ea040fff : 0000:06:00.0
  eb000000-ebffffff : 0000:00:02.0
  ec000000-ec1fffff : PCI Bus 0000:02
    ec000000-ec1fffff : 0000:02:00.0
      ec000000-ec1fffff : ath
  ec200000-ecbfffff : PCI Bus 0000:03
    ec200000-ec200fff : 0000:03:00.0
      ec200000-ec200fff : rtsx_pci
  ecc00000-eccfffff : PCI Bus 0000:01
    ecc00000-ecc3ffff : 0000:01:00.0
    ecc40000-ecc5ffff : 0000:01:00.0
  ecd00000-ecd0ffff : 0000:00:14.0
    ecd00000-ecd0ffff : xhci-hcd
  ecd10000-ecd13fff : 0000:00:1f.3
    ecd10000-ecd13fff : ICH HD audio
  ecd14000-ecd17fff : 0000:00:1f.2
  ecd18000-ecd19fff : 0000:00:17.0
    ecd18000-ecd19fff : ahci
  ecd1a000-ecd1a7ff : 0000:00:17.0
    ecd1a000-ecd1a7ff : ahci
  ecd1b000-ecd1b0ff : 0000:00:17.0
    ecd1b000-ecd1b0ff : ahci
  ecd1c000-ecd1cfff : 0000:00:14.2
    ecd1c000-ecd1cfff : Intel PCH thermal driver
  effe0000-efffffff : pnp 00:05
f0000000-f7ffffff : PCI MMCONFIG 0000 [bus 00-7f]
  f0000000-f7ffffff : Reserved
    f0000000-f7ffffff : pnp 00:05
fd000000-fe7fffff : PCI Bus 0000:00
  fd000000-fdabffff : pnp 00:06
  fdac0000-fdacffff : pnp 00:08
  fdad0000-fdadffff : pnp 00:06
  fdae0000-fdaeffff : pnp 00:08
  fdaf0000-fdafffff : pnp 00:08
  fdb00000-fdffffff : pnp 00:06
  fe000000-fe010fff : Reserved
  fe036000-fe03bfff : pnp 00:06
  fe03d000-fe3fffff : pnp 00:06
  fe410000-fe7fffff : pnp 00:06
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:05
fed18000-fed18fff : pnp 00:05
fed19000-fed19fff : pnp 00:05
fed20000-fed3ffff : pnp 00:05
fed45000-fed8ffff : pnp 00:05
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : Reserved
ff000000-ffffffff : Reserved
  ff000000-ffffffff : INT0800:00
    ff000000-ffffffff : pnp 00:05
100000000-4ae7fffff : System RAM
  17b800000-17c6031d0 : Kernel code
  17c6031d1-17d0a0d7f : Kernel data
  17d322000-17d7fffff : Kernel bss
4ae800000-4afffffff : RAM buffer
2000000000-2fffffffff : PCI Bus 0000:00
  2fa0000000-2fafffffff : 0000:00:02.0
  2fb0000000-2ff9ffffff : PCI Bus 0000:04
    2fb0000000-2ff9ffffff : PCI Bus 0000:05
      2fb0000000-2fcfffffff : PCI Bus 0000:07
        2fb0000000-2fcfffffff : PCI Bus 0000:08
          2fb0000000-2fc01fffff : PCI Bus 0000:09
          2fb0000000-2fbfffffff : 0000:09:00.0
          2fc0000000-2fc01fffff : 0000:09:00.0
      2fd0000000-2ff9ffffff : PCI Bus 0000:3b
  2ffa100000-2ffaafffff : PCI Bus 0000:03
  2ffff00000-2ffff0ffff : 0000:00:1f.3
    2ffff00000-2ffff0ffff : ICH HD audio
  2ffff10000-2ffff17fff : 0000:00:04.0
  2ffff18000-2ffff180ff : 0000:00:1f.4
  2ffff19000-2ffff19fff : 0000:00:16.0
    2ffff19000-2ffff19fff : mei_me
  2ffff1a000-2ffff1afff : 0000:00:15.1
    2ffff1a000-2ffff1a1ff : lpss_dev
      2ffff1a000-2ffff1a1ff : lpss_dev
    2ffff1a200-2ffff1a2ff : lpss_priv
    2ffff1a800-2ffff1afff : idma64.1
      2ffff1a800-2ffff1afff : idma64.1
  2ffff1b000-2ffff1bfff : 0000:00:15.0
    2ffff1b000-2ffff1b1ff : lpss_dev
      2ffff1b000-2ffff1b1ff : lpss_dev
    2ffff1b200-2ffff1b2ff : lpss_priv
    2ffff1b800-2ffff1bfff : idma64.0
      2ffff1b800-2ffff1bfff : idma64.0
  2ffff1c000-2ffff1cfff : 0000:00:13.0
    2ffff1c000-2ffff1cfff : intel_ish_ipc