00000000-00000fff : reserved
00001000-0008dbff : System RAM
0008dc00-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000dffff : PCI Bus 0000:00
  000c0000-000c7fff : Video ROM
  000c8000-000c8fff : Adapter ROM
  000c9000-000d2bff : Adapter ROM
000e0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-7dfa5fff : System RAM
  01000000-01408dcb : Kernel code
  01408dcc-016072ff : Kernel data
  016dd000-01798fff : Kernel bss
7dfa6000-7dfe2fff : reserved
  7dfb6018-7dfb603e : APEI ERST
  7dfb603f-7dfb803e : APEI ERST
7dfe3000-7e290fff : ACPI Non-volatile Storage
7e291000-7f36cfff : reserved
7f36d000-7f7fffff : ACPI Non-volatile Storage
7f800000-7fffffff : RAM buffer
80000000-dfffffff : PCI Bus 0000:00
  80000000-8fffffff : PCI MMCONFIG 0000 [bus 00-ff]
    80000000-8fffffff : reserved
  dd000000-ddffffff : PCI Bus 0000:09
    dd000000-ddffffff : 0000:09:01.0
  de000000-de8fffff : PCI Bus 0000:01
    de000000-de8fffff : PCI Bus 0000:02
      de000000-de8fffff : PCI Bus 0000:03
        de000000-de7fffff : 0000:03:00.0
          de000000-de7fffff : isci
        de800000-de8f7fff : 0000:03:00.0
        de8f8000-de8fffff : 0000:03:00.0
          de8f8000-de8fffff : isci
  dea00000-deafffff : PCI Bus 0000:07
    dea00000-dea1ffff : 0000:07:00.3
    dea20000-dea3ffff : 0000:07:00.3
    dea40000-dea5ffff : 0000:07:00.2
    dea60000-dea7ffff : 0000:07:00.2
    dea80000-dea9ffff : 0000:07:00.1
    deaa0000-deabffff : 0000:07:00.1
    deac0000-deadffff : 0000:07:00.0
    deae0000-deafffff : 0000:07:00.0
  df000000-df8fffff : PCI Bus 0000:09
    df000000-df7fffff : 0000:09:01.0
    df800000-df803fff : 0000:09:01.0
  df900000-df9fffff : PCI Bus 0000:07
    df900000-df91ffff : 0000:07:00.3
      df900000-df91ffff : igb
    df920000-df93ffff : 0000:07:00.2
      df920000-df93ffff : igb
    df940000-df95ffff : 0000:07:00.1
      df940000-df95ffff : igb
    df960000-df97ffff : 0000:07:00.0
      df960000-df97ffff : igb
    df980000-df983fff : 0000:07:00.3
      df980000-df983fff : igb
    df984000-df987fff : 0000:07:00.2
      df984000-df987fff : igb
    df988000-df98bfff : 0000:07:00.1
      df988000-df98bfff : igb
    df98c000-df98ffff : 0000:07:00.0
      df98c000-df98ffff : igb
  dfa00000-dfafffff : PCI Bus 0000:01
    dfa00000-dfa03fff : 0000:01:00.0
  dfb00000-dfb03fff : 0000:00:04.7
    dfb00000-dfb03fff : ioatdma
  dfb04000-dfb07fff : 0000:00:04.6
    dfb04000-dfb07fff : ioatdma
  dfb08000-dfb0bfff : 0000:00:04.5
    dfb08000-dfb0bfff : ioatdma
  dfb0c000-dfb0ffff : 0000:00:04.4
    dfb0c000-dfb0ffff : ioatdma
  dfb10000-dfb13fff : 0000:00:04.3
    dfb10000-dfb13fff : ioatdma
  dfb14000-dfb17fff : 0000:00:04.2
    dfb14000-dfb17fff : ioatdma
  dfb18000-dfb1bfff : 0000:00:04.1
    dfb18000-dfb1bfff : ioatdma
  dfb1c000-dfb1ffff : 0000:00:04.0
    dfb1c000-dfb1ffff : ioatdma
  dfb20000-dfb200ff : 0000:00:1f.3
  dfb21000-dfb217ff : 0000:00:1f.2
    dfb21000-dfb217ff : ahci
  dfb22000-dfb223ff : 0000:00:1d.0
    dfb22000-dfb223ff : ehci_hcd
  dfb23000-dfb233ff : 0000:00:1a.0
    dfb23000-dfb233ff : ehci_hcd
  dfb25000-dfb25fff : 0000:00:05.4
  dfffc000-dfffdfff : pnp 00:01
    dfffc000-dfffcfff : dmar1
e0000000-fbffffff : PCI Bus 0000:80
  fbf00000-fbf03fff : 0000:80:04.7
    fbf00000-fbf03fff : ioatdma
  fbf04000-fbf07fff : 0000:80:04.6
    fbf04000-fbf07fff : ioatdma
  fbf08000-fbf0bfff : 0000:80:04.5
    fbf08000-fbf0bfff : ioatdma
  fbf0c000-fbf0ffff : 0000:80:04.4
    fbf0c000-fbf0ffff : ioatdma
  fbf10000-fbf13fff : 0000:80:04.3
    fbf10000-fbf13fff : ioatdma
  fbf14000-fbf17fff : 0000:80:04.2
    fbf14000-fbf17fff : ioatdma
  fbf18000-fbf1bfff : 0000:80:04.1
    fbf18000-fbf1bfff : ioatdma
  fbf1c000-fbf1ffff : 0000:80:04.0
    fbf1c000-fbf1ffff : ioatdma
  fbf20000-fbf20fff : 0000:80:05.4
  fbffe000-fbffffff : pnp 00:10
    fbffe000-fbffefff : dmar0
fc000000-fcffffff : pnp 00:00
fd000000-fdffffff : pnp 00:00
fe000000-feafffff : pnp 00:00
feb00000-febfffff : pnp 00:00
fec00000-fec003ff : IOAPIC 0
fec01000-fec013ff : IOAPIC 1
fec40000-fec403ff : IOAPIC 2
fed00000-fed003ff : HPET 0
fed08000-fed08fff : PCI Bus 0000:00
  fed08000-fed08fff : 0000:00:1f.6
fed0e000-fed0ffff : PCI Bus 0000:00
  fed0e000-fed0e00f : 0000:00:16.0
  fed0f000-fed0f00f : 0000:00:16.1
fed1c000-fed3ffff : reserved
  fed1c000-fed1ffff : pnp 00:0c
    fed1f410-fed1f414 : iTCO_wdt
      fed1f410-fed1f414 : iTCO_wdt
fee00000-fee00fff : Local APIC
ff000000-ffffffff : reserved
  ff000000-ffffffff : pnp 00:0c
100000000-107fffffff : System RAM