VIA Technologies P4MA PRO User Manual page 58

IRQ Resources
The items are adjustable only when Resources Controlled By is set to
Manual. Press <Enter> and you will enter the sub-menu of the items.
IRQ Resources list IRQ 3/4/5/7/10/11/12/14/15 for users to set each IRQ a
type depending on the type of device using the IRQ. Settings:
PCI Device
bus architecture.
Reserved
Assign IRQ For VGA/USB
Assign IRQ for VGA and USB devices. Settings: Disabled and Enabled.
For Plug & Play compatible devices designed for PCI
The IRQ will be reserved for further request.
3-23
BIOS Setup