| 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-0077 : rtc0 |
| 0080-008f : dma page reg |
| 00a0-00a1 : pic2 |
| 00c0-00df : dma2 |
| 00f0-00ff : fpu |
| 03c0-03df : vga+ |
| 03f8-03ff : serial |
| 0400-0405 : ACPI CPU throttle |
| 0408-040b : ACPI PM_TMR |
| 0420-0427 : ACPI GPE0_BLK |
| 0430-0433 : iTCO_wdt |
| 0450-0450 : ACPI PM2_CNT_BLK |
| 0460-047f : iTCO_wdt |
| 0cf8-0cff : PCI conf1 |
| 0d00-ffff : PCI Bus 0000:00 |
| 1000-1fff : PCI Bus 0000:02 |
| 1000-10ff : 0000:02:00.0 |
| 1000-10ff : r8169 |
| 2000-201f : 0000:00:13.0 |
| 2000-201f : ahci |
| 2020-203f : 0000:00:1f.3 |
| 2040-2047 : 0000:00:02.0 |
| 2048-204f : 0000:00:13.0 |
| 2048-204f : ahci |
| 2050-2057 : 0000:00:13.0 |
| 2050-2057 : ahci |
| 2058-205b : 0000:00:13.0 |
| 2058-205b : ahci |
| 205c-205f : 0000:00:13.0 |
| 205c-205f : ahci |
| 3000-3fff : PCI Bus 0000:01 |