00000000-00000fff : Reserved
00001000-0009dfff : System RAM
0009e000-0009efff : Reserved
0009f000-0009ffff : System RAM
000a0000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000e0000-000effff : PCI Bus 0000:00
  000f0000-000fffff : System ROM
00100000-2007ffff : System RAM
20080000-20080fff : Reserved
20081000-6a667017 : System RAM
6a667018-6a68bc57 : System RAM
6a68bc58-6cb1bfff : System RAM
6cb1c000-6cb1cfff : Reserved
6cb1d000-72239fff : System RAM
7223a000-753c6fff : Reserved
753c7000-754a2fff : ACPI Tables
754a3000-7561bfff : ACPI Non-volatile Storage
7561c000-75ffefff : Reserved
75fff000-75ffffff : System RAM
76000000-79ffffff : Reserved
7a400000-7a7fffff : Reserved
7b000000-807fffff : Reserved
80800000-bfffffff : PCI Bus 0000:00
  80800000-80800fff : 0000:00:1f.5
    80800000-80800fff : 0000:00:1f.5 0000:00:1f.5
  81000000-820fffff : PCI Bus 0000:01
    81000000-81ffffff : 0000:01:00.0
      81000000-81ffffff : nvidia
    82000000-8207ffff : 0000:01:00.0
    82080000-82083fff : 0000:01:00.1
      82080000-82083fff : ICH HD audio
  82100000-822fffff : PCI Bus 0000:05
    82100000-821fffff : 0000:05:00.0
      82100000-821fffff : igc
    82200000-82203fff : 0000:05:00.0
      82200000-82203fff : igc
  82300000-823fffff : PCI Bus 0000:03
    82300000-82303fff : 0000:03:00.0
      82300000-82303fff : nvme
  82400000-8241ffff : 0000:00:1f.6
    82400000-8241ffff : e1000e
  82420000-82421fff : 0000:00:17.0
    82420000-82421fff : ahci
  82422000-824227ff : 0000:00:17.0
    82422000-824227ff : ahci
  82423000-824230ff : 0000:00:17.0
    82423000-824230ff : ahci
  82424000-82424fff : 0000:00:16.3
c0000000-cfffffff : PCI ECAM 0000 [bus 00-ff]
  c0000000-cfffffff : pnp 00:07
fe000000-fe010fff : Reserved
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 MSFT0101:00
fed91000-fed91fff : dmar0
feda0000-feda0fff : pnp 00:07
feda1000-feda1fff : pnp 00:07
fedc0000-fedc7fff : pnp 00:07
fee00000-fee00fff : Reserved
100000000-107f7fffff : System RAM
  c11200000-c127fffff : Kernel code
  c12800000-c135adfff : Kernel rodata
  c13600000-c13a558ff : Kernel data
  c13f54000-c143fffff : Kernel bss
107f800000-107fffffff : RAM buffer
4000000000-7fffffffff : PCI Bus 0000:00
  4000000000-4011ffffff : PCI Bus 0000:01
    4000000000-400fffffff : 0000:01:00.0
    4010000000-4011ffffff : 0000:01:00.0
  4012000000-40120fffff : 0000:00:1f.3
  4012100000-401210ffff : 0000:00:14.0
    4012100000-401210ffff : xhci-hcd
  4012110000-4012113fff : 0000:00:1f.3
    4012110000-4012113fff : ICH HD audio
  4012114000-4012117fff : 0000:00:14.2
  4012118000-40121180ff : 0000:00:1f.4
  4012119000-4012119fff : 0000:00:16.0
    4012119000-4012119fff : mei_me
  401211a000-401211afff : 0000:00:14.2