00000000-00000fff : Reserved
00001000-0007ffff : System RAM
00080000-000fffff : Reserved
  000a0000-000bffff : PCI Bus 0000:00
  000f0000-000fffff : System ROM
00100000-78f68fff : System RAM
  01000000-01ffffff : Kernel code
  02000000-02b85fff : Kernel rodata
  02c00000-02e7087f : Kernel data
  03730000-03bfffff : Kernel bss
78f69000-79775fff : Reserved
  7913a018-7913a018 : APEI ERST
  7913a01c-7913a021 : APEI ERST
  7913a028-7913a039 : APEI ERST
  7913a040-7913a04c : APEI ERST
  7913a050-7913c04f : APEI ERST
79776000-79856fff : System RAM
79857000-79d45fff : ACPI Non-volatile Storage
79d46000-7bcfcfff : Reserved
7bcfd000-7bcfdfff : System RAM
7bcfe000-7bd83fff : Reserved
7bd84000-7bffffff : System RAM
7c000000-8fffffff : Reserved
  80000000-8fffffff : PCI ECAM 0000 [bus 00-ff]
90000000-fbffbfff : PCI Bus 0000:00
  90000000-900fffff : PCI Bus 0000:06
    90000000-9001ffff : 0000:06:00.0
    90020000-9003ffff : 0000:06:00.0
    90040000-9005ffff : 0000:06:00.1
    90060000-9007ffff : 0000:06:00.1
    90080000-9009ffff : 0000:06:00.2
    900a0000-900bffff : 0000:06:00.2
    900c0000-900dffff : 0000:06:00.3
    900e0000-900fffff : 0000:06:00.3
  90100000-902fffff : PCI Bus 0000:07
  90300000-904fffff : PCI Bus 0000:07
  90800000-937fffff : PCI Bus 0000:03
    90800000-90bfffff : 0000:03:00.0
    90c00000-90ffffff : 0000:03:00.1
    91000000-91ffffff : 0000:03:00.0
      91000000-91ffffff : i40e
    92000000-92ffffff : 0000:03:00.1
      92000000-92ffffff : i40e
    93000000-93007fff : 0000:03:00.0
      93000000-93007fff : i40e
    93008000-9300ffff : 0000:03:00.1
      93008000-9300ffff : i40e
    93010000-9310ffff : 0000:03:00.0
    93110000-9320ffff : 0000:03:00.1
  fa000000-fb0fffff : PCI Bus 0000:08
    fa000000-fb0fffff : PCI Bus 0000:09
      fa000000-faffffff : 0000:09:00.0
      fb000000-fb01ffff : 0000:09:00.0
        fb000000-fb01ffff : ast
  fb100000-fb1fffff : PCI Bus 0000:06
    fb100000-fb11ffff : 0000:06:00.3
      fb100000-fb11ffff : igb
    fb120000-fb13ffff : 0000:06:00.2
      fb120000-fb13ffff : igb
    fb140000-fb15ffff : 0000:06:00.1
      fb140000-fb15ffff : igb
    fb160000-fb17ffff : 0000:06:00.0
      fb160000-fb17ffff : igb
    fb180000-fb183fff : 0000:06:00.3
      fb180000-fb183fff : igb
    fb184000-fb187fff : 0000:06:00.2
      fb184000-fb187fff : igb
    fb188000-fb18bfff : 0000:06:00.1
      fb188000-fb18bfff : igb
    fb18c000-fb18ffff : 0000:06:00.0
      fb18c000-fb18ffff : igb
  fb200000-fb2fffff : PCI Bus 0000:03
    fb200000-fb27ffff : 0000:03:00.1
    fb280000-fb2fffff : 0000:03:00.0
  fb300000-fb30ffff : 0000:00:14.0
    fb300000-fb30ffff : xhci-hcd
  fb310000-fb313fff : 0000:00:04.7
    fb310000-fb313fff : ioatdma
  fb314000-fb317fff : 0000:00:04.6
    fb314000-fb317fff : ioatdma
  fb318000-fb31bfff : 0000:00:04.5
    fb318000-fb31bfff : ioatdma
  fb31c000-fb31ffff : 0000:00:04.4
    fb31c000-fb31ffff : ioatdma
  fb320000-fb323fff : 0000:00:04.3
    fb320000-fb323fff : ioatdma
  fb324000-fb327fff : 0000:00:04.2
    fb324000-fb327fff : ioatdma
  fb328000-fb32bfff : 0000:00:04.1
    fb328000-fb32bfff : ioatdma
  fb32c000-fb32ffff : 0000:00:04.0
    fb32c000-fb32ffff : ioatdma
  fb331000-fb3310ff : 0000:00:1f.3
  fb332000-fb3327ff : 0000:00:1f.2
    fb332000-fb3327ff : ahci
  fb333000-fb3333ff : 0000:00:1d.0
    fb333000-fb3333ff : ehci_hcd
  fb334000-fb3343ff : 0000:00:1a.0
    fb334000-fb3343ff : ehci_hcd
  fb336000-fb33600f : 0000:00:16.1
  fb337000-fb33700f : 0000:00:16.0
  fb338000-fb3387ff : 0000:00:11.4
    fb338000-fb3387ff : ahci
  fb339000-fb339fff : 0000:00:05.4
fbffc000-fbffcfff : Reserved
fec00000-fecfffff : PNP0003:00
  fec00000-fec01fff : Reserved
    fec00000-fec003ff : IOAPIC 0
    fec01000-fec013ff : IOAPIC 1
fed00000-fed003ff : HPET 0
  fed00000-fed003ff : PNP0103:00
fed12000-fed1200f : pnp 00:01
fed12010-fed1201f : pnp 00:01
fed1b000-fed1bfff : pnp 00:01
fed1c000-fed44fff : Reserved
  fed1c000-fed3ffff : pnp 00:01
    fed1f410-fed1f414 : iTCO_wdt.1.auto
      fed1f410-fed1f414 : iTCO_wdt.1.auto iTCO_wdt.1.auto
fed45000-fed8bfff : pnp 00:01
fedb0000-fedb000f : PCI Bus 0000:00
fedc0000-fedc000f : PCI Bus 0000:00
fee00000-fee00fff : Reserved
ff000000-ffffffff : Reserved
  ff000000-ffffffff : pnp 00:01
100000000-1c01efffff : System RAM
1c01f00000-1c03ffffff : RAM buffer
1c08000000-1c0fffffff : System RAM