00000000-0000ffff : reserved
00010000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : Video RAM area
000c0000-000cb3ff : Video ROM
000e0000-000effff : pnp 00:0c
000f0000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-1f7effff : System RAM
  01000000-011e571b : Kernel code
  011e571c-012cca87 : Kernel data
  01320000-01354673 : Kernel bss
1f7f0000-1f7f2fff : ACPI Non-volatile Storage
1f7f3000-1f7fffff : ACPI Tables
1f800000-1fffffff : RAM buffer
20000000-201fffff : PCI Bus 0000:01
  20000000-200fffff : PCI Bus 0000:03
    20000000-2000ffff : 0000:03:08.0
    20010000-2001ffff : 0000:03:09.0
    20020000-2002ffff : 0000:03:0a.0
    20030000-2003ffff : 0000:03:0b.0
  20100000-2011ffff : 0000:01:0a.0
  20120000-2013ffff : 0000:01:0b.0
  20140000-2015ffff : 0000:01:0c.0
  20160000-2017ffff : 0000:01:0d.0
20200000-202003ff : 0000:00:1f.1
e0000000-e7ffffff : 0000:00:02.0
e8000000-ebffffff : 0000:00:00.0
ec000000-ec2fffff : PCI Bus 0000:01
  ec000000-ec0fffff : PCI Bus 0000:03
    ec000000-ec01ffff : 0000:03:08.0
      ec000000-ec01ffff : e100
    ec020000-ec03ffff : 0000:03:09.0
      ec020000-ec03ffff : e100
    ec040000-ec05ffff : 0000:03:0a.0
      ec040000-ec05ffff : e100
    ec060000-ec07ffff : 0000:03:0b.0
      ec060000-ec07ffff : e100
    ec090000-ec090fff : 0000:03:09.0
      ec090000-ec090fff : e100
    ec091000-ec091fff : 0000:03:0b.0
      ec091000-ec091fff : e100
    ec092000-ec092fff : 0000:03:08.0
      ec092000-ec092fff : e100
    ec093000-ec093fff : 0000:03:0a.0
      ec093000-ec093fff : e100
  ec100000-ec11ffff : 0000:01:0a.0
    ec100000-ec11ffff : e1000
  ec120000-ec13ffff : 0000:01:0a.0
    ec120000-ec13ffff : e1000
  ec140000-ec15ffff : 0000:01:0b.0
    ec140000-ec15ffff : e1000
  ec160000-ec17ffff : 0000:01:0b.0
    ec160000-ec17ffff : e1000
  ec180000-ec19ffff : 0000:01:0c.0
    ec180000-ec19ffff : e1000
  ec1a0000-ec1bffff : 0000:01:0c.0
    ec1a0000-ec1bffff : e1000
  ec1c0000-ec1dffff : 0000:01:0d.0
    ec1c0000-ec1dffff : e1000
  ec1e0000-ec1fffff : 0000:01:0d.0
    ec1e0000-ec1fffff : e1000
ec300000-ec37ffff : 0000:00:02.0
ec380000-ec3803ff : 0000:00:1d.7
  ec380000-ec3803ff : ehci_hcd
fec00000-ffffffff : reserved
  fec00000-fec00fff : pnp 00:0c
  fee00000-fee00fff : Local APIC
    fee00000-fee00fff : pnp 00:0c
  ffb00000-ffb7ffff : pnp 00:0c
  fff00000-ffffffff : pnp 00:0c
