00000000-00000fff : Reserved
00001000-0009dfff : System RAM
0009e000-0009efff : Reserved
0009f000-0009ffff : System RAM
000a0000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000e0000-000fffff : PCI Bus 0000:00
    000f0000-000fffff : System ROM
00100000-8f5bbfff : System RAM
8f5bc000-8f71bfff : Reserved
8f71c000-97575fff : System RAM
97576000-97576fff : Reserved
97577000-99934fff : System RAM
99935000-9b034fff : Reserved
9b035000-9b164fff : ACPI Tables
9b165000-9b264fff : ACPI Non-volatile Storage
9b265000-9b893fff : Reserved
9b894000-9bb4dfff : Unknown E820 type
9bb4e000-9bb4efff : System RAM
9bb4f000-9f7fffff : Reserved
  9d800000-9f7fffff : Graphics Stolen Memory
9f800000-dfffffff : PCI Bus 0000:00
  9f800000-9f800fff : 0000:00:15.0
    9f800000-9f8001ff : lpss_dev
      9f800000-9f8001ff : i2c_designware.0 lpss_dev
    9f800200-9f8002ff : lpss_priv
    9f800800-9f800fff : idma64.0
      9f800800-9f800fff : idma64.0 idma64.0
  9f801000-9f801fff : 0000:00:15.2
    9f801000-9f8011ff : lpss_dev
      9f801000-9f8011ff : i2c_designware.1 lpss_dev
    9f801200-9f8012ff : lpss_priv
    9f801800-9f801fff : idma64.1
      9f801800-9f801fff : idma64.1 idma64.1
  a0000000-afffffff : 0000:00:02.0
  b0000000-b0ffffff : 0000:00:02.0
  b1000000-b10fffff : 0000:00:1f.3
    b1000000-b10fffff : Audio DSP
  b1100000-b11fffff : PCI Bus 0000:02
    b1100000-b1103fff : 0000:02:00.0
      b1100000-b1103fff : nvme
  b1200000-b12fffff : PCI Bus 0000:01
    b1200000-b1201fff : 0000:01:00.0
      b1200000-b1201fff : iwlwifi
  b1300000-b131ffff : 0000:00:1f.6
    b1300000-b131ffff : e1000e
  b1320000-b132ffff : 0000:00:14.0
    b1320000-b132ffff : xhci-hcd
  b1330000-b1333fff : 0000:00:1f.3
    b1330000-b1333fff : Audio DSP
  b1334000-b1335fff : 0000:00:17.0
    b1334000-b1335fff : ahci
  b1336000-b1337fff : 0000:00:14.2
  b1338000-b13380ff : 0000:00:1f.4
  b1339000-b1339fff : 0000:00:1a.0
    b1339000-b1339fff : mmc0
  b133a000-b133a7ff : 0000:00:17.0
    b133a000-b133a7ff : ahci
  b133b000-b133b0ff : 0000:00:17.0
    b133b000-b133b0ff : ahci
  b133c000-b133cfff : 0000:00:16.0
    b133c000-b133cfff : mei_me
  b133f000-b133ffff : 0000:00:14.2
  b1340000-b1340fff : 0000:00:12.0
    b1340000-b1340fff : Intel PCH thermal driver
  b1341000-b1341fff : 0000:00:08.0
e0000000-efffffff : PCI ECAM 0000 [bus 00-ff]
  e0000000-efffffff : pnp 00:03
fc800000-fe7fffff : PCI Bus 0000:00
  fd000000-fd69ffff : pnp 00:01
  fd6a0000-fd6affff : INT34BB:00
    fd6a0000-fd6affff : INT34BB:00 INT34BB:00
  fd6b0000-fd6cffff : pnp 00:01
  fd6d0000-fd6dffff : INT34BB:00
    fd6d0000-fd6dffff : INT34BB:00 INT34BB:00
  fd6e0000-fd6effff : INT34BB:00
    fd6e0000-fd6effff : INT34BB:00 INT34BB:00
  fd6f0000-fdffffff : pnp 00:01
  fe000000-fe010fff : Reserved
    fe010000-fe010fff : 0000:00:1f.5
  fe038000-fe038fff : pnp 00:05
  fe200000-fe7fffff : pnp 00:01
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed03fff : Reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed10000-fed17fff : pnp 00:03
fed18000-fed18fff : pnp 00:03
fed19000-fed19fff : pnp 00:03
fed20000-fed3ffff : pnp 00:03
fed40000-fed44fff : MSFT0101:00
  fed40000-fed44fff : MSFT0101:00
fed45000-fed8ffff : pnp 00:03
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
fee00000-fee00fff : Reserved
ff000000-ffffffff : pnp 00:01
100000000-25e7fffff : System RAM
  169000000-16a1fffff : Kernel code
  16a200000-16adf7fff : Kernel rodata
  16ae00000-16b0958ff : Kernel data
  16b9c5000-16bdfffff : Kernel bss
25e800000-25fffffff : RAM buffer
