0000-0cf7 : PCI Bus 0000:00
  0000-001f : dma1
  0020-0021 : pic1
  0040-0043 : timer0
  0050-0053 : timer1
  0060-0060 : keyboard
  0064-0064 : keyboard
  0070-0071 : rtc0
  0080-008f : dma page reg
  00a0-00a1 : pic2
  00c0-00df : dma2
  00f0-00ff : fpu
  03c0-03df : vesafb
  03f8-03ff : serial
  04d0-04d1 : pnp 00:08
  0500-053f : 0000:00:1f.0
  0800-087f : 0000:00:1f.0
    0800-087f : pnp 00:08
      0800-0803 : ACPI PM1a_EVT_BLK
      0804-0805 : ACPI PM1a_CNT_BLK
      0808-080b : ACPI PM_TMR
      0810-0815 : ACPI CPU throttle
      0820-082f : ACPI GPE0_BLK
      0850-0850 : ACPI PM2_CNT_BLK
  0a00-0a7f : pnp 00:07
  0a80-0a83 : pnp 00:07
  0a84-0a85 : pnp 00:07
  0a86-0a8d : pnp 00:07
  0a90-0a9f : pnp 00:07
  0b00-0bfe : pnp 00:07
  0ca2-0ca2 : ipmi_si
  0ca3-0ca3 : ipmi_si
0cf8-0cff : PCI conf1
0d00-ffff : PCI Bus 0000:00
  1000-1fff : PCI Bus 0000:02
  2000-2fff : PCI Bus 0000:03
  b800-b81f : 0000:00:1a.0
    b800-b81f : uhci_hcd
  b880-b89f : 0000:00:1d.0
    b880-b89f : uhci_hcd
  bc00-bc1f : 0000:00:1d.1
    bc00-bc1f : uhci_hcd
  c000-c01f : 0000:00:1d.2
    c000-c01f : uhci_hcd
  c080-c09f : 0000:00:1f.2
    c080-c09f : ahci
  c400-c403 : 0000:00:1f.2
    c400-c403 : ahci
  c480-c487 : 0000:00:1f.2
    c480-c487 : ahci
  c800-c803 : 0000:00:1f.2
    c800-c803 : ahci
  c880-c887 : 0000:00:1f.2
    c880-c887 : ahci
  d000-dfff : PCI Bus 0000:06
    d800-d8ff : 0000:06:00.0
      d800-d8ff : hpsa
  e000-efff : PCI Bus 0000:07
    e880-e89f : 0000:07:00.0
    ec00-ec1f : 0000:07:00.1
