00000000-00000fff : reserved
00001000-0009fbff : System RAM
0009fc00-0009ffff : reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c7fff : Video ROM
000cb000-000cbfff : Adapter ROM
000cc000-000ccfff : Adapter ROM
000e4000-000fffff : reserved
  000f0000-000fffff : System ROM
00100000-7f79ffff : System RAM
  01000000-01772d03 : Kernel code
  01772d04-01d1af3f : Kernel data
  01e77000-01fbbfff : Kernel bss
7f7a0000-7f7adfff : ACPI Tables
7f7ae000-7f7dffff : ACPI Non-volatile Storage
7f7e0000-ffffffff : reserved
  7f810000-ffffffff : PCI Bus 0000:00
    80000000-801fffff : PCI Bus 0000:03
    80200000-80200fff : Intel Flush Page
    dfd00000-dfd7ffff : 0000:00:02.0
    dfd80000-dfdbffff : 0000:00:02.0
    dfdf8000-dfdfbfff : 0000:00:1b.0
      dfdf8000-dfdfbfff : ICH HD audio
    dfdffc00-dfdfffff : 0000:00:1d.7
      dfdffc00-dfdfffff : ehci_hcd
    dfe00000-dfefffff : PCI Bus 0000:02
      dfea0000-dfebffff : 0000:02:00.0
      dfec0000-dfefffff : 0000:02:00.0
        dfec0000-dfefffff : atl2
    dff00000-dfffffff : PCI Bus 0000:03
      dff00000-dff7ffff : 0000:03:00.0
        dff00000-dff7ffff : e1000e
      dff80000-dffbffff : 0000:03:00.0
      dffdc000-dffdffff : 0000:03:00.0
        dffdc000-dffdffff : e1000e
      dffe0000-dfffffff : 0000:03:00.0
        dffe0000-dfffffff : e1000e
    e0000000-efffffff : 0000:00:02.0
    f0000000-f3ffffff : PCI MMCONFIG 0000 [bus 00-3f]
      f0000000-f3ffffff : pnp 00:0a
    fec00000-fec003ff : IOAPIC 0
    fed00000-fed003ff : HPET 0
      fed00000-fed003ff : PNP0103:00
    fed13000-fed19fff : pnp 00:00
    fed1c000-fed1ffff : pnp 00:05
      fed1f410-fed1f414 : iTCO_wdt
    fed20000-fed8ffff : pnp 00:05
    fee00000-fee00fff : Local APIC
      fee00000-fee00fff : reserved
        fee00000-fee00fff : pnp 00:07
    ffb80000-ffbfffff : INT0800:00
    ffc00000-fff7ffff : pnp 00:09
    fff80000-ffffffff : reserved
      fff80000-ffffffff : INT0800:00