00000000-00000fff : Reserved
00001000-00057fff : System RAM
00058000-00058fff : Reserved
00059000-0009dfff : System RAM
0009e000-000fffff : Reserved
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  00000000-00000000 : PCI Bus 0000:00
  000a0000-000fffff : PCI Bus 0000:00
    000c0000-000dffff : 0000:00:02.0
    000f0000-000fffff : System ROM
00100000-5ebd2017 : System RAM
5ebd2018-5ebfb257 : System RAM
5ebfb258-62a85fff : System RAM
62a86000-62a86fff : ACPI Non-volatile Storage
62a87000-62a87fff : Reserved
62a88000-6bab4fff : System RAM
6bab5000-6bae3fff : Reserved
6bae4000-6bc13fff : System RAM
6bc14000-6bc14fff : Reserved
6bc15000-6e936fff : System RAM
6e937000-6f693fff : Reserved
6f694000-6f6dffff : ACPI Tables
6f6e0000-6fb22fff : ACPI Non-volatile Storage
6fb23000-6fffdfff : Reserved
6fffe000-6fffefff : System RAM
6ffff000-7cbfffff : Reserved
  70200000-75f7ffff : INT0E0C:00
  78c00000-7cbfffff : Graphics Stolen Memory
7cc00000-dfffffff : PCI Bus 0000:00
  b0000000-bfffffff : 0000:00:02.0
  c0000000-d1ffffff : PCI Bus 0000:01
    c0000000-cfffffff : 0000:01:00.0
    d0000000-d1ffffff : 0000:01:00.0
  dd000000-ddffffff : 0000:00:02.0
  de000000-df0fffff : PCI Bus 0000:01
    de000000-deffffff : 0000:01:00.0
      de000000-deffffff : nvidia
    df000000-df07ffff : 0000:01:00.0
  df100000-df1fffff : PCI Bus 0000:04
    df100000-df100fff : 0000:04:00.0
      df100000-df100fff : rtsx_pci
  df200000-df2fffff : PCI Bus 0000:03
    df200000-df203fff : 0000:03:00.0
    df204000-df204fff : 0000:03:00.0
      df204000-df204fff : r8169
  df300000-df3fffff : PCI Bus 0000:02
    df300000-df301fff : 0000:02:00.0
      df300000-df301fff : iwlwifi
  df400000-df40ffff : 0000:00:1f.3
  df410000-df41ffff : 0000:00:14.0
    df410000-df41ffff : xhci-hcd
  df420000-df423fff : 0000:00:1f.3
    df420000-df423fff : ICH HD audio
  df424000-df427fff : 0000:00:1f.2
  df428000-df429fff : 0000:00:17.0
    df428000-df429fff : ahci
  df42a000-df42a0ff : 0000:00:1f.4
  df42b000-df42b7ff : 0000:00:17.0
    df42b000-df42b7ff : ahci
  df42c000-df42c0ff : 0000:00:17.0
    df42c000-df42c0ff : ahci
  df42d000-df42dfff : 0000:00:16.0
    df42d000-df42dfff : mei_me
  df42e000-df42efff : 0000:00:15.0
    df42e000-df42e1ff : lpss_dev
      df42e000-df42e1ff : i2c_designware.0 lpss_dev
    df42e200-df42e2ff : lpss_priv
    df42e800-df42efff : idma64.0
      df42e800-df42efff : idma64.0 idma64.0
  df42f000-df42ffff : 0000:00:14.2
    df42f000-df42ffff : Intel PCH thermal driver
  df430000-df430fff : 0000:00:08.0
  dffe0000-dfffffff : pnp 00:04
e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
  e0000000-efffffff : Reserved
    e0000000-efffffff : pnp 00:04
fd000000-fe7fffff : PCI Bus 0000:00
  fd000000-fdabffff : pnp 00:05
  fdac0000-fdacffff : pnp 00:07
  fdad0000-fdadffff : pnp 00:05
  fdae0000-fdaeffff : pnp 00:07
  fdaf0000-fdafffff : pnp 00:07
  fdb00000-fdffffff : pnp 00:05
    fdc6000c-fdc6000f : iTCO_wdt
      fdc6000c-fdc6000f : iTCO_wdt iTCO_wdt
  fe000000-fe010fff : Reserved
  fe036000-fe03bfff : pnp 00:05
  fe03d000-fe3fffff : pnp 00:05
  fe410000-fe7fffff : pnp 00:05
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed00fff : Reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:04
fed18000-fed18fff : pnp 00:04
fed19000-fed19fff : pnp 00:04
fed20000-fed3ffff : pnp 00:04
fed40000-fed4087f : MSFT0101:00
  fed40000-fed4087f : MSFT0101:00
fed45000-fed8ffff : pnp 00:04
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : Reserved
ff000000-ffffffff : Reserved
  ff000000-ffffffff : INT0800:00
    ff000000-ffffffff : pnp 00:04
100000000-8823fffff : System RAM
  804000000-805002547 : Kernel code
  805200000-805d21fff : Kernel rodata
  805e00000-80611a8ff : Kernel data
  80694c000-806dfffff : Kernel bss
882400000-883ffffff : RAM buffer
