00000000-00000fff : Reserved
00001000-0009efff : System RAM
0009f000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000e8000-000effff : PCI Bus 0000:00
  000f0000-000fffff : System ROM
00100000-67857fff : System RAM
  23000000-241fffff : Kernel code
  24200000-24df7fff : Kernel rodata
  24e00000-250958ff : Kernel data
  259c5000-25dfffff : Kernel bss
67858000-6786bfff : Reserved
6786c000-68698fff : System RAM
68699000-68699fff : Reserved
6869a000-69e0bfff : System RAM
69e0c000-6cf0bfff : Reserved
6cf0c000-6cfd7fff : ACPI Tables
6cfd8000-6d079fff : ACPI Non-volatile Storage
6d07a000-71e3afff : Reserved
71e3b000-71efefff : Unknown E820 type
71eff000-71efffff : System RAM
71f00000-79ffffff : Reserved
7aa00000-7abfffff : Reserved
7b000000-803fffff : Reserved
  7c800000-803fffff : Graphics Stolen Memory
80400000-bfffffff : PCI Bus 0000:00
  80400000-804fffff : PCI Bus 0000:02
    80400000-80403fff : 0000:02:00.0
      80400000-80403fff : nvme
  80500000-805fffff : PCI Bus 0000:01
    80500000-8050ffff : 0000:01:00.0
      80500000-8050ffff : rtw88_pci
  80600000-80600fff : 0000:00:1f.5
c0000000-cfffffff : PCI ECAM 0000 [bus 00-ff]
fd000000-fd68ffff : pnp 00:04
fd690000-fd69ffff : INT34C5:00
  fd690000-fd69ffff : INT34C5:00 INT34C5:00
fd6a0000-fd6affff : INT34C5:00
  fd6a0000-fd6affff : INT34C5:00 INT34C5:00
fd6b0000-fd6cffff : pnp 00:04
fd6d0000-fd6dffff : INT34C5:00
  fd6d0000-fd6dffff : INT34C5:00 INT34C5:00
fd6e0000-fd6effff : INT34C5:00
  fd6e0000-fd6effff : INT34C5:00 INT34C5:00
fd6f0000-fdffffff : pnp 00:04
fe000000-fe010fff : Reserved
fe04c000-fe04ffff : pnp 00:04
fe050000-fe0affff : pnp 00:04
fe0d0000-fe0fffff : pnp 00:04
fe200000-fe7fffff : pnp 00:04
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed00fff : Reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed20000-fed7ffff : Reserved
  fed20000-fed7ffff : pnp 00:03
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
feda0000-feda0fff : pnp 00:03
feda1000-feda1fff : pnp 00:03
fedc0000-fedc7fff : pnp 00:03
fee00000-fee00fff : Reserved
ff000000-ffffffff : pnp 00:04
100000000-37fbfffff : System RAM
37fc00000-37fffffff : 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
  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:14.0
    6001120000-600112ffff : xhci-hcd
  6001130000-6001133fff : 0000:00:1f.3
    6001130000-6001133fff : Audio DSP
  6001134000-6001137fff : 0000:00:14.2
  6001138000-60011380ff : 0000:00:1f.4
  6001139000-6001139fff : 0000:00:16.0
    6001139000-6001139fff : mei_me
  600113c000-600113cfff : 0000:00:14.2
  600113d000-600113dfff : 0000:00:08.0
