00000000-00000fff : Reserved
00001000-0009efff : System RAM
0009f000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000f0000-000fffff : System ROM
00100000-69aa8fff : System RAM
69aa9000-69bb0fff : Reserved
69bb1000-69bb9fff : System RAM
69bba000-69bbafff : Reserved
69bbb000-6d4e8fff : System RAM
6d4e9000-6dde8fff : Reserved
6dde9000-6fbfefff : System RAM
6fbff000-6ffcefff : Unknown E820 type
6ffcf000-71a4efff : Reserved
71a4f000-749fefff : ACPI Non-volatile Storage
749ff000-74bfefff : ACPI Tables
74bff000-74bfffff : System RAM
74c00000-78ffffff : Reserved
79a00000-79bfffff : Reserved
7a000000-803fffff : Reserved
  7c800000-803fffff : Graphics Stolen Memory
80400000-bfffffff : PCI Bus 0000:00
  80400000-804fffff : PCI Bus 0000:01
    80400000-80403fff : 0000:01:00.0
      80400000-80403fff : nvme
  80500000-8050ffff : 0000:00:14.0
    80500000-8050ffff : xhci-hcd
  80510000-80510fff : 0000:00:1f.5
c0000000-cfffffff : PCI ECAM 0000 [bus 00-ff]
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
fe010000-fe010fff : Reserved
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
100000000-47fbfffff : System RAM
  158000000-1591fffff : Kernel code
  159200000-159e07fff : Kernel rodata
  15a000000-15a2956ff : Kernel data
  15abc0000-15affffff : Kernel bss
47fc00000-47fffffff : 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:19.0
    4017002000-40170021ff : lpss_dev
      4017002000-40170021ff : i2c_designware.2 lpss_dev
    4017002200-40170022ff : lpss_priv
    4017002800-4017002fff : idma64.2
      4017002800-4017002fff : idma64.2 idma64.2
  4017003000-4017003fff : 0000:00:19.1
    4017003000-40170031ff : lpss_dev
      4017003000-40170031ff : i2c_designware.3 lpss_dev
    4017003200-40170032ff : lpss_priv
    4017003800-4017003fff : idma64.3
      4017003800-4017003fff : idma64.3 idma64.3
  4017004000-4017004fff : 0000:00:1e.0
    4017004000-40170041ff : lpss_dev
      4017004000-40170041ff : serial
    4017004200-40170042ff : lpss_priv
    4017004800-4017004fff : idma64.4
      4017004800-4017004fff : idma64.4 idma64.4
  4017005000-4017005fff : 0000:00:1e.2
    4017005000-40170051ff : lpss_dev
      4017005000-40170051ff : pxa2xx-spi.5 lpss_dev
    4017005200-40170052ff : lpss_priv
    4017005800-4017005fff : idma64.5
      4017005800-4017005fff : idma64.5 idma64.5
  4020000000-40ffffffff : 0000:00:02.0
  6000000000-6000ffffff : 0000:00:02.0
  6001000000-60010fffff : 0000:00:1f.3
    6001000000-60010fffff : Audio DSP
  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
    6001134000-6001134abf : telem1
    6001134ac0-6001134bff : telem2
    60011364d8-60011364e7 : intel_vsec.telemetry.0
    60011364e8-60011364f7 : intel_vsec.telemetry.0
    60011364f8-6001136507 : intel_vsec.telemetry.0
    6001136508-6001136517 : intel_vsec.telemetry.0
  6001138000-600113bfff : 0000:00:1f.3
    6001138000-600113bfff : Audio DSP
  600113c000-600113ffff : 0000:00:14.3
    600113c000-600113ffff : iwlwifi
  6001140000-6001143fff : 0000:00:14.2
  6001144000-60011440ff : 0000:00:1f.4
  6001149000-6001149fff : 0000:00:16.0
    6001149000-6001149fff : mei_me
  600114c000-600114cfff : 0000:00:14.2
  600114d000-600114dfff : 0000:00:08.0
