00000000-00000fff : reserved
00001000-000967ff : System RAM
00096800-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
000f0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-bddcbfff : System RAM
  01000000-017c3520 : Kernel code
  017c3521-01d25d3f : Kernel data
  01e91000-01fd3fff : Kernel bss
bddcc000-bddddfff : ACPI Tables
bddde000-bdddefff : System RAM
bdddf000-cfffffff : reserved
  c0000000-cfffffff : PCI MMCONFIG 0000 [bus 00-ff]
    c0000000-cfffffff : pnp 00:01
f4000000-f7ffffff : PCI Bus 0000:00
  f4000000-f40fffff : PCI Bus 0000:03
    f4000000-f401ffff : 0000:03:00.0
    f4020000-f403ffff : 0000:03:00.1
    f4040000-f405ffff : 0000:03:00.2
    f4060000-f407ffff : 0000:03:00.3
  f4ffe000-f4ffefff : dmar1
  f5000000-f5ffffff : PCI Bus 0000:01
    f5000000-f5ffffff : 0000:01:00.1
  f6b00000-f6bfffff : PCI Bus 0000:03
    f6b40000-f6b4ffff : 0000:03:00.3
      f6b40000-f6b4ffff : tg3
    f6b50000-f6b5ffff : 0000:03:00.3
      f6b50000-f6b5ffff : tg3
    f6b60000-f6b6ffff : 0000:03:00.3
      f6b60000-f6b6ffff : tg3
    f6b70000-f6b7ffff : 0000:03:00.2
      f6b70000-f6b7ffff : tg3
    f6b80000-f6b8ffff : 0000:03:00.2
      f6b80000-f6b8ffff : tg3
    f6b90000-f6b9ffff : 0000:03:00.2
      f6b90000-f6b9ffff : tg3
    f6ba0000-f6baffff : 0000:03:00.1
      f6ba0000-f6baffff : tg3
    f6bb0000-f6bbffff : 0000:03:00.1
      f6bb0000-f6bbffff : tg3
    f6bc0000-f6bcffff : 0000:03:00.1
      f6bc0000-f6bcffff : tg3
    f6bd0000-f6bdffff : 0000:03:00.0
      f6bd0000-f6bdffff : tg3
    f6be0000-f6beffff : 0000:03:00.0
      f6be0000-f6beffff : tg3
    f6bf0000-f6bfffff : 0000:03:00.0
      f6bf0000-f6bfffff : tg3
  f6c50000-f6c503ff : 0000:00:1d.0
    f6c50000-f6c503ff : ehci_hcd
  f6c60000-f6c603ff : 0000:00:1a.0
    f6c60000-f6c603ff : ehci_hcd
  f6c70000-f6c70fff : 0000:00:05.4
  f6c80000-f6c83fff : 0000:00:04.7
    f6c80000-f6c83fff : ioatdma
  f6c90000-f6c93fff : 0000:00:04.6
    f6c90000-f6c93fff : ioatdma
  f6ca0000-f6ca3fff : 0000:00:04.5
    f6ca0000-f6ca3fff : ioatdma
  f6cb0000-f6cb3fff : 0000:00:04.4
    f6cb0000-f6cb3fff : ioatdma
  f6cc0000-f6cc3fff : 0000:00:04.3
    f6cc0000-f6cc3fff : ioatdma
  f6cd0000-f6cd3fff : 0000:00:04.2
    f6cd0000-f6cd3fff : ioatdma
  f6ce0000-f6ce3fff : 0000:00:04.1
    f6ce0000-f6ce3fff : ioatdma
  f6cf0000-f6cf3fff : 0000:00:04.0
    f6cf0000-f6cf3fff : ioatdma
  f6d00000-f7dfffff : PCI Bus 0000:01
    f6d00000-f6d0ffff : 0000:01:00.2
    f6d60000-f6d67fff : 0000:01:00.2
      f6d60000-f6d67fff : hpilo
    f6d70000-f6d77fff : 0000:01:00.2
      f6d70000-f6d77fff : hpilo
    f6d80000-f6dfffff : 0000:01:00.2
      f6d80000-f6dfffff : hpilo
    f6e00000-f6efffff : 0000:01:00.2
      f6e00000-f6efffff : hpilo
    f6ff0000-f6ff00ff : 0000:01:00.2
      f6ff0000-f6ff00ff : hpilo
    f7000000-f77fffff : 0000:01:00.1
    f7de0000-f7de3fff : 0000:01:00.1
    f7df0000-f7df01ff : 0000:01:00.0
  f7e00000-f7ffffff : PCI Bus 0000:02
    f7e00000-f7e7ffff : 0000:02:00.0
    f7ef0000-f7ef03ff : 0000:02:00.0
      f7ef0000-f7ef03ff : hpsa
    f7f00000-f7ffffff : 0000:02:00.0
      f7f00000-f7ffffff : hpsa
f8000000-fbffffff : PCI Bus 0000:20
  fbefe000-fbefefff : dmar0
  fbf70000-fbf70fff : 0000:20:05.4
  fbf80000-fbf83fff : 0000:20:04.7
    fbf80000-fbf83fff : ioatdma
  fbf90000-fbf93fff : 0000:20:04.6
    fbf90000-fbf93fff : ioatdma
  fbfa0000-fbfa3fff : 0000:20:04.5
    fbfa0000-fbfa3fff : ioatdma
  fbfb0000-fbfb3fff : 0000:20:04.4
    fbfb0000-fbfb3fff : ioatdma
  fbfc0000-fbfc3fff : 0000:20:04.3
    fbfc0000-fbfc3fff : ioatdma
  fbfd0000-fbfd3fff : 0000:20:04.2
    fbfd0000-fbfd3fff : ioatdma
  fbfe0000-fbfe3fff : 0000:20:04.1
    fbfe0000-fbfe3fff : ioatdma
  fbff0000-fbff3fff : 0000:20:04.0
    fbff0000-fbff3fff : ioatdma
fc000000-fc000fff : pnp 00:01
fe000000-febfffff : pnp 00:01
fec00000-fee0ffff : reserved
  fec00000-fec003ff : IOAPIC 0
  fec10000-fec103ff : IOAPIC 1
  fec40000-fec403ff : IOAPIC 2
  fed00000-fed03fff : PCI Bus 0000:00
    fed00000-fed003ff : HPET 0
      fed00000-fed003ff : PNP0103:00
  fed1c000-fed1ffff : pnp 00:01
    fed1f410-fed1f414 : iTCO_wdt
  fed30000-fed3ffff : pnp 00:01
  fed40000-fed44fff : PCI Bus 0000:00
  fee00000-fee00fff : Local APIC
    fee00000-fee00fff : pnp 00:01
ff800000-ffffffff : reserved
  ff800000-ffffffff : pnp 00:01
100000000-83fffefff : System RAM
83ffff000-83fffffff : RAM buffer