0000-0cf7 : PCI Bus 0000:00
  0000-001f : dma1
  0020-0021 : pic1
  0040-0043 : timer0
  0050-0053 : timer1
  0060-0060 : keyboard
  0061-0061 : PNP0800:00
  0064-0064 : keyboard
  0070-0071 : rtc0
  0080-008f : dma page reg
  00a0-00a1 : pic2
  00c0-00df : dma2
  00f0-00ff : PNP0C04:00
    00f0-00ff : fpu
  0290-029f : pnp 00:02
  02f8-02ff : serial
  03c0-03df : vga+
  03f8-03ff : serial
  0400-041f : 0000:00:1f.3
    0400-041f : i801_smbus
  04d0-04d1 : pnp 00:03
  0500-057f : gpio_ich.1.auto
    0500-057f : pnp 00:03
      0500-052f : gpio_ich
      0530-053f : gpio_ich
      0540-054f : gpio_ich
  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
  0830-0833 : iTCO_wdt.0.auto
    0830-0833 : iTCO_wdt
  0850-0850 : ACPI PM2_CNT_BLK
  0860-087f : iTCO_wdt.0.auto
    0860-087f : iTCO_wdt
  0ca2-0ca2 : IPMI Address 1
  0ca3-0ca3 : IPMI Address 2
0cf8-0cff : PCI conf1
0d00-ffff : PCI Bus 0000:00
  1000-1fff : PCI Bus 0000:01
  2000-2fff : PCI Bus 0000:03
  b400-b407 : 0000:00:1f.2
    b400-b407 : ahci
  b480-b49f : 0000:00:1f.2
    b480-b49f : ahci
  b800-b803 : 0000:00:1f.2
    b800-b803 : ahci
  b880-b887 : 0000:00:1f.2
    b880-b887 : ahci
  bc00-bc03 : 0000:00:1f.2
    bc00-bc03 : ahci
  c000-cfff : PCI Bus 0000:04
    cc00-cc1f : 0000:04:00.0
  d000-dfff : PCI Bus 0000:05
    dc00-dc1f : 0000:05:00.0
  e000-efff : PCI Bus 0000:06
    ec00-ec7f : 0000:06:05.0