tuple_name        876 dev/cardbus/cardbus.c static char *tuple_name(int type);
tuple_name        916 dev/cardbus/cardbus.c 	printf("tuple: %s len %d\n", tuple_name(tuple[0]), len);