00000000-0009cbff : System RAM
0009cc00-0009ffff : reserved
000e0000-000fffff : reserved
00100000-bcdcdfff : System RAM
  01000000-014647b3 : Kernel code
  014647b4-018e0573 : Kernel data
  0196b000-01a0c967 : Kernel bss
bcdce000-bcfe6fff : ACPI Non-volatile Storage
bcfe7000-bf6bcfff : System RAM
bf6bd000-bf6befff : reserved
bf6bf000-bf713fff : System RAM
bf714000-bf7befff : ACPI Non-volatile Storage
bf7bf000-bf7e6fff : System RAM
bf7e7000-bf7fefff : ACPI Tables
bf7ff000-bf7fffff : System RAM
bf800000-bfffffff : reserved
c0000000-c6ffffff : PCI Bus 0000:02
  c0000000-c6ffffff : PCI Bus 0000:03
    c0000000-c2ffffff : PCI Bus 0000:05
      c0000000-c1ffffff : 0000:05:00.0
      c2000000-c2ffffff : 0000:05:00.0
    c4000000-c6ffffff : PCI Bus 0000:04
      c4000000-c5ffffff : 0000:04:00.0
      c6000000-c6ffffff : 0000:04:00.0
c7000000-c70fffff : PCI Bus 0000:0a
  c7000000-c7003fff : 0000:0a:03.0
  c7004000-c70047ff : 0000:0a:03.0
c7100000-c71fffff : PCI Bus 0000:09
  c7100000-c71003ff : 0000:09:00.0
    c7100000-c71003ff : ahci
c7200000-c721ffff : 0000:00:19.0
  c7200000-c721ffff : e1000e
c7220000-c72207ff : 0000:00:1f.2
  c7220000-c72207ff : ahci
c7221000-c72213ff : 0000:00:1d.7
  c7221000-c72213ff : ehci_hcd
c7222000-c72223ff : 0000:00:1a.7
  c7222000-c72223ff : ehci_hcd
c7223000-c7223fff : 0000:00:19.0
  c7223000-c7223fff : e1000e
f0000000-f0003fff : 0000:00:1b.0
  f0000000-f0003fff : ICH HD audio
f0004000-f00040ff : 0000:00:1f.3
f8000000-fcffffff : reserved
  f8000000-fbffffff : PCI MMCONFIG 0000 [bus 00-3f]
fec00000-fec003ff : IOAPIC 0
fee00000-fee00fff : Local APIC
ffe00000-ffffffff : reserved
100000000-13fffffff : System RAM