tcic_chipid_to_string  388 dev/ic/tcic2.c 		       tcic_chipid_to_string(sc->chipid));
tcic_chipid_to_string  145 dev/ic/tcic2var.h char	*tcic_chipid_to_string(int);