59 static void c4_dispatch_tx(avmcard *card);
146 static inline int wait_for_doorbell(avmcard *card, unsigned long t)  in wait_for_doorbell()
159 static int c4_poke(avmcard *card,  unsigned long off, unsigned long value)  in c4_poke()
177 static int c4_peek(avmcard *card,  unsigned long off, unsigned long *valuep)  in c4_peek()
195 static int c4_load_t4file(avmcard *card, capiloaddatapart *t4file)  in c4_load_t4file()
296 static void c4_reset(avmcard *card)  in c4_reset()
316 static int c4_detect(avmcard *card)  in c4_detect()
410 static void c4_dispatch_tx(avmcard *card)  in c4_dispatch_tx()
480 static void queue_pollack(avmcard *card)  in queue_pollack()
503 static void c4_handle_rx(avmcard *card)  in c4_handle_rx()
666 static irqreturn_t c4_handle_interrupt(avmcard *card)  in c4_handle_interrupt()
724 	avmcard *card = devptr;  in c4_interrupt()
731 static void c4_send_init(avmcard *card)  in c4_send_init()
758 static int queue_sendconfigword(avmcard *card, u32 val)  in queue_sendconfigword()
784 static int queue_sendconfig(avmcard *card, char cval[4])  in queue_sendconfig()
814 static int c4_send_config(avmcard *card, capiloaddatapart *config)  in c4_send_config()
858 	avmcard *card = cinfo->card;  in c4_load_firmware()
901 	avmcard *card = ((avmctrl_info *)(ctrl->driverdata))->card;  in c4_reset_ctr()
922 	avmcard *card = pci_get_drvdata(pdev);  in c4_remove()
952 	avmcard *card = cinfo->card;  in c4_register_appl()
995 	avmcard *card = cinfo->card;  in c4_release_appl()
1031 	avmcard *card = cinfo->card;  in c4_send_message()
1072 	avmcard *card = cinfo->card;  in c4_proc_show()
1135 	avmcard *card;  in c4_add_card()