void setup_ports(int card) 
static void setup_ports(int card) 
void setup_ports(int card){	outb((sc_adapter[card]->rambase >> 12), sc_adapter[card]->ioport[EXP_BASE]);	/* And the IRQ */	outb((sc_adapter[card]->interrupt | 0x80),		sc_adapter[card]->ioport[IRQ_SELECT]);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e3ca5e762c2aca373f1762cbc622ebe20fd20869/timer.c/clean/drivers/isdn/sc/timer.c