00000000-00000fff : Reserved
00001000-0009efff : System RAM
0009f000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000f0000-000fffff : System ROM
00100000-36821fff : System RAM
36822000-36930fff : Reserved
36931000-36a9efff : System RAM
36a9f000-36a9ffff : Reserved
36aa0000-3b328fff : System RAM
3b329000-3bc28fff : Reserved
3bc29000-3da3efff : System RAM
3da3f000-3de0efff : Unknown E820 type
3de0f000-3fadefff : Reserved
3fadf000-42a8efff : ACPI Non-volatile Storage
  429e7000-429e7fff : USBC000:00
42a8f000-42bfefff : ACPI Tables
42bff000-42bfffff : System RAM
42c00000-493fffff : Reserved
4a000000-503fffff : Reserved
  4c800000-503fffff : Graphics Stolen Memory
50400000-bfffffff : PCI Bus 0000:00
  50400000-504fffff : PCI Bus 0000:02
    50400000-50400fff : 0000:02:00.0
      50400000-50400fff : rtsx_pci
  50500000-505fffff : PCI Bus 0000:01
    50500000-50503fff : 0000:01:00.0
      50500000-50503fff : nvme
  50600000-5060ffff : 0000:00:14.0
    50600000-5060ffff : xhci-hcd
  50610000-50610fff : 0000:00:1f.5
c0000000-cfffffff : PCI MMCONFIG 0000 [bus 00-ff]
  c0000000-cfffffff : Reserved
fd690000-fd69ffff : INTC1055:00
  fd690000-fd69ffff : INTC1055:00 INTC1055:00
fd6a0000-fd6affff : INTC1055:00
  fd6a0000-fd6affff : INTC1055:00 INTC1055:00
fd6d0000-fd6dffff : INTC1055:00
  fd6d0000-fd6dffff : INTC1055:00 INTC1055:00
fd6e0000-fd6effff : INTC1055:00
  fd6e0000-fd6effff : INTC1055:00 INTC1055:00
fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fed20000-fed7ffff : Reserved
  fed40000-fed44fff : INTC6001:00
    fed40000-fed44fff : INTC6001:00
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
feda0000-feda0fff : pnp 00:03
feda1000-feda1fff : pnp 00:03
fedc0000-fedc7fff : pnp 00:03
fee00000-feefffff : pnp 00:03
  fee00000-fee00fff : Local APIC
ff000000-ffffffff : Reserved
100000000-2afbfffff : System RAM
  11f000000-11fe01c81 : Kernel code
  120000000-1208eafff : Kernel rodata
  120a00000-120c6753f : Kernel data
  1213b0000-1223fffff : Kernel bss
2afc00000-2afffffff : RAM buffer
4000000000-7fffffffff : PCI Bus 0000:00
  4000000000-400fffffff : 0000:00:02.0
  4010000000-4016ffffff : 0000:00:02.0
  4017000000-4017000fff : 0000:00:15.0
    4017000000-40170001ff : lpss_dev
      4017000000-40170001ff : i2c_designware.0 lpss_dev
    4017000200-40170002ff : lpss_priv
    4017000800-4017000fff : idma64.0
      4017000800-4017000fff : idma64.0 idma64.0
  4017001000-4017001fff : 0000:00:15.1
    4017001000-40170011ff : lpss_dev
      4017001000-40170011ff : i2c_designware.1 lpss_dev
    4017001200-40170012ff : lpss_priv
    4017001800-4017001fff : idma64.1
      4017001800-4017001fff : idma64.1 idma64.1
  4017002000-4017002fff : 0000:00:1e.0
    4017002000-40170021ff : lpss_dev
      4017002000-401700201f : serial
    4017002200-40170022ff : lpss_priv
    4017002800-4017002fff : idma64.2
      4017002800-4017002fff : idma64.2 idma64.2
  4017003000-4017003fff : 0000:00:1e.3
    4017003000-40170031ff : lpss_dev
      4017003000-40170031ff : pxa2xx-spi.3 lpss_dev
    4017003200-40170032ff : lpss_priv
    4017003800-4017003fff : idma64.3
      4017003800-4017003fff : idma64.3 idma64.3
  4020000000-40ffffffff : 0000:00:02.0
  6000000000-6000ffffff : 0000:00:02.0
  6001000000-60010fffff : 0000:00:1f.3
  6001100000-600111ffff : 0000:00:04.0
    6001100000-600111ffff : proc_thermal
  6001120000-600112ffff : 0000:00:0d.0
    6001120000-600112ffff : xhci-hcd
  6001130000-6001137fff : 0000:00:0a.0
  6001140000-6001143fff : 0000:00:1f.3
    6001140000-6001143fff : ICH HD audio
  6001144000-6001147fff : 0000:00:14.3
    6001144000-6001147fff : iwlwifi
  6001148000-600114bfff : 0000:00:14.2
  600114c000-600114c0ff : 0000:00:1f.4
  600114f000-600114ffff : 0000:00:16.0
    600114f000-600114ffff : mei_me
  6001152000-6001152fff : 0000:00:14.2
  6001153000-6001153fff : 0000:00:08.0
