00000000-0000ffff : reserved
00010000-0009abff : System RAM
0009ac00-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
  000a0000-000bffff : 0000:00:19.0
    000a0000-000bffff : e1000e
000e0000-000fffff : reserved
00100000-b32cafff : System RAM
  01000000-01333646 : Kernel code
  01333647-0182f597 : Kernel data
  018cb000-01e21dff : Kernel bss
b32cb000-b3582fff : ACPI Non-volatile Storage
b3583000-b3589fff : reserved
b358a000-b358dfff : ACPI Non-volatile Storage
b358e000-b35c4fff : reserved
b35c5000-b35d1fff : ACPI Tables
b35d2000-b35dffff : reserved
b35e0000-b35fafff : ACPI Non-volatile Storage
b35fb000-b361ffff : reserved
b3620000-b3662fff : ACPI Non-volatile Storage
b3663000-b37fffff : System RAM
b3800000-b3ffffff : reserved
b4000000-f5bfffff : PCI Bus 0000:00
  b4000000-b43fffff : 0000:00:02.0
  b4400000-b45fffff : PCI Bus 0000:01
  b4600000-b47fffff : PCI Bus 0000:01
  b4800000-b49fffff : PCI Bus 0000:02
  b4a00000-b4bfffff : PCI Bus 0000:02
  b4c00000-b4dfffff : PCI Bus 0000:03
  b4e00000-b4ffffff : PCI Bus 0000:03
  b5000000-b51fffff : PCI Bus 0000:04
  b5200000-b53fffff : PCI Bus 0000:04
  b5400000-b55fffff : PCI Bus 0000:05
  b5600000-b57fffff : PCI Bus 0000:05
  b5800000-b59fffff : PCI Bus 0000:06
    b5800000-b58fffff : PCI Bus 0000:07
      b5800000-b5803fff : 0000:07:00.0
      b5804000-b58047ff : 0000:07:00.0
        b5804000-b58047ff : firewire_ohci
  b5a00000-b5bfffff : PCI Bus 0000:06
  b5c00000-b5dfffff : PCI Bus 0000:08
  b5e00000-b5ffffff : PCI Bus 0000:08
  b6000000-b60fffff : PCI Bus 0000:09
  b6100000-b61fffff : PCI Bus 0000:09
    b6100000-b610ffff : 0000:09:01.0
  b6200000-b6203fff : 0000:00:1b.0
    b6200000-b6203fff : ICH HD audio
  b6204000-b6204fff : 0000:00:16.3
  b6205000-b6205fff : 0000:00:17.0
  b6206000-b6206fff : 0000:00:19.0
    b6206000-b6206fff : e1000e
  b6207000-b62077ff : 0000:00:1f.2
    b6207000-b62077ff : ahci
  b6207800-b6207bff : 0000:00:1a.0
    b6207800-b6207bff : ehci_hcd
  b6207c00-b6207fff : 0000:00:1d.0
    b6207c00-b6207fff : ehci_hcd
  b6208000-b62080ff : 0000:00:17.0
  b6208100-b62081ff : 0000:00:1f.3
  b6208200-b620820f : 0000:00:16.0
  b6209000-b6209fff : Intel Flush Page
  b7c00000-bfffffff : reserved
  d0000000-dfffffff : 0000:00:02.0
  e0000000-efffffff : PCI MMCONFIG 0000 [bus 00-ff]
    e0000000-efffffff : pnp 00:01
fec00000-fec003ff : IOAPIC 0
fed00000-fed003ff : HPET 0
fed14000-fed19fff : pnp 00:01
fed1c000-fed1ffff : reserved
  fed1c000-fed1ffff : pnp 00:0a
fed50000-fed5ffff : reserved
fee00000-fee0ffff : pnp 00:0a
  fee00000-fee00fff : Local APIC
ff980000-ffbfffff : reserved
ffd80000-ffffffff : reserved
100000000-137ffffff : System RAM