X32 Cardbus IRQ assignment from BIOS?

[ahmad]

Hi,

I've recently acquired a Cardbus sound card which requires its own interrupt. I will be using the card in Linux. The BIOS allows me to assign interrupts to PCI devices, and from some searching in Linux I have found that IRQ 4 is still unassigned. I have assigned all of the PCI devices to IRQ 11, so would just like to know which BIOS-listed device corresponds to the PCMCIA slot so I can assign it to IRQ 4.

Thanks for your help.