| 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 |
| 03f8-03ff : serial |
| 0400-0405 : ACPI CPU throttle |
| 0408-040b : ACPI PM_TMR |
| 0420-0427 : ACPI GPE0_BLK |
| 0430-0433 : iTCO_wdt.0.auto |
| 0450-0450 : ACPI PM2_CNT_BLK |
| 0460-047f : iTCO_wdt.0.auto |
| 0cf8-0cff : PCI conf1 |
| 0d00-ffff : PCI Bus 0000:00 |
| 1000-1fff : PCI Bus 0000:02 |
| 1000-101f : 0000:02:00.0 |
| 2000-2fff : PCI Bus 0000:03 |
| 2000-201f : 0000:03:00.0 |
| 3000-301f : 0000:00:13.0 |
| 3000-301f : ahci |
| 3020-303f : 0000:00:1f.3 |
| 3040-3047 : 0000:00:02.0 |
| 3048-304f : 0000:00:13.0 |
| 3048-304f : ahci |
| 3050-3057 : 0000:00:13.0 |
| 3050-3057 : ahci |
| 3058-305b : 0000:00:13.0 |
| 3058-305b : ahci |
| 305c-305f : 0000:00:13.0 |
| 305c-305f : ahci |
| 4000-4fff : PCI Bus 0000:01 |
| 5000-5fff : PCI Bus 0000:04 |