HP Pavilion dv4200 Maintenance And Service Manual page 206

Specifications
IRQ11
IRQ12
IRQ13
IRQ14
IRQ15
*Default configuration; audio possible configurations are IRQ5, IRQ7, IRQ9,
IRQ10, or none.
✎
PC Cards may assert IRQ3, IRQ4, IRQ5, IRQ7, IRQ9, IRQ10, IRQ11, or
IRQ15. Either the infrared or the serial port may assert IRQ3 or IRQ4.
6–12
Table 6-8
System Interrupts (Continued)
Intel USB EHCI controller—24CD
Intel USB UHCI controller—24C4
Intel USB UHCI controller—24C7
Intel Pro/Wireless 2200BG
TI OHCI 1394 host controller
TI PCI1410 CardBus controller
Synaptics PS/2 TouchPad
Numeric data processor
Primary IDE channel
Secondary IDE channel
Maintenance and Service Guide