Hi,
there is nothing in particular you can do in the driver. The IRQ assignments are handled by the OS. In Windows NT, you can go to the Control Panel >> PC Card (PCMCIA). Open this utility and select your card. Then click on Properties.
At the moment I don't have a Windows NT laptop, but you should be able to set the IRQs on a PCMCIA, since the bus is based on ISA.
With PCI device the assigments are done in the BIOS, so you cannot change them in the OS. Some BIOSes allow you to configure the assigments.
DiegoF.