avmb1_extcarddef 1019 drivers/isdn/capi/kcapi.c 	avmb1_extcarddef cdef;
avmb1_extcarddef 1039 drivers/isdn/capi/kcapi.c 						     sizeof(avmb1_extcarddef))))