65 avmcard *b1_alloc_card(int nr_controllers)  in b1_alloc_card()
67 	avmcard *card;  in b1_alloc_card()
94 void b1_free_card(avmcard *card)  in b1_free_card()
145 void b1_getrevision(avmcard *card)  in b1_getrevision()
152 int b1_load_t4file(avmcard *card, capiloaddatapart *t4file)  in b1_load_t4file()
194 int b1_load_config(avmcard *card, capiloaddatapart *config)  in b1_load_config()
245 int b1_loaded(avmcard *card)  in b1_loaded()
281 	avmcard *card = cinfo->card;  in b1_load_firmware()
325 	avmcard *card = cinfo->card;  in b1_reset_ctr()
344 	avmcard *card = cinfo->card;  in b1_register_appl()
366 	avmcard *card = cinfo->card;  in b1_release_appl()
380 	avmcard *card = cinfo->card;  in b1_send_message()
419 	avmcard *card = cinfo->card;  in b1_parse_version()
492 	avmcard *card = devptr;  in b1_interrupt()
644 	avmcard *card = cinfo->card;  in b1_proc_show()