00000000-00000fff : Reserved
00001000-0009dfff : System RAM
0009e000-0009efff : Reserved
0009f000-0009ffff : System RAM
000a0000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000e0000-000e3fff : PCI Bus 0000:00
  000e4000-000e7fff : PCI Bus 0000:00
  000e8000-000ebfff : PCI Bus 0000:00
  000ec000-000effff : PCI Bus 0000:00
  000f0000-000fffff : PCI Bus 0000:00
    000f0000-000fffff : System ROM
00100000-63861fff : System RAM
  01000000-01e02387 : Kernel code
  02000000-02809fff : Kernel rodata
  02a00000-02bfaf3f : Kernel data
  03221000-035fffff : Kernel bss
63862000-63890fff : Reserved
63891000-64427fff : System RAM
64428000-64428fff : Reserved
64429000-696d9fff : System RAM
696da000-71ae2fff : Reserved
71ae3000-71be9fff : ACPI Tables
71bea000-71ccafff : ACPI Non-volatile Storage
  71c1a000-71c1afff : USBC000:00
71ccb000-727fefff : Reserved
727ff000-727fffff : System RAM
72800000-793fffff : Reserved
79e00000-807fffff : Reserved
80800000-bfffffff : PCI Bus 0000:00
  80800000-808fffff : PCI Bus 0000:03
    80800000-80807fff : 0000:03:00.0
  80900000-809fffff : PCI Bus 0000:01
    80900000-80903fff : 0000:01:00.0
      80900000-80903fff : nvme
    80904000-80923fff : 0000:01:00.0
  80a00000-80a00fff : 0000:00:1f.5
    80a00000-80a00fff : 0000:00:1f.5 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
fe000000-fe010fff : Reserved
fe03e008-fe03efff : pnp 00:05
fe03f000-fe03ffff : pnp 00:05
fec00000-fec00fff : Reserved
  fec00000-fec003ff : IOAPIC 0
fed00000-fed00fff : Reserved
  fed00000-fed003ff : HPET 0
    fed00000-fed003ff : PNP0103:00
fed20000-fed7ffff : Reserved
  fed40000-fed44fff : MSFT0101:00
    fed40000-fed44fff : MSFT0101:00
fed90000-fed90fff : dmar0
fed91000-fed91fff : dmar1
feda0000-feda0fff : pnp 00:03
feda1000-feda1fff : pnp 00:03
fedc0000-fedc7fff : pnp 00:03
fee00000-fee00fff : Local APIC
  fee00000-fee00fff : Reserved
ff000000-ffffffff : Reserved
100000000-47f7fffff : System RAM
47f800000-47fffffff : RAM buffer
4000000000-7fffffffff : PCI Bus 0000:00
  4000000000-400fffffff : 0000:00:02.0
    4000000000-40008c9fff : BOOTFB
  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-60000fffff : PCI Bus 0000:03
    6000000000-60000fffff : 0000:03:00.0
  6001000000-6001ffffff : 0000:00:02.0
  6002000000-60020fffff : 0000:00:1f.3
  6002100000-600211ffff : 0000:00:04.0
  6002120000-600212ffff : 0000:00:14.0
    6002120000-600212ffff : xhci-hcd
  6002130000-6002137fff : 0000:00:0a.0
  6002140000-6002143fff : 0000:00:1f.3
  6002144000-6002147fff : 0000:00:14.2
  6002148000-60021480ff : 0000:00:1f.4
  6002149000-6002149fff : 0000:00:16.0
    6002149000-6002149fff : mei_me
  600214c000-600214cfff : 0000:00:14.2
  600214d000-600214dfff : 0000:00:08.0
