usr/src/cmd/format/misc.c

633

skip_digits(name);

usr/src/cmd/format/misc.c

639

skip_digits(name);

usr/src/cmd/format/misc.c

641

skip_digits(name);

usr/src/cmd/format/misc.c

665

skip_digits(name);

usr/src/cmd/format/misc.c

687

skip_digits(name);

usr/src/cmd/format/misc.c

693

skip_digits(name);

usr/src/cmd/format/misc.c

695

skip_digits(name);

usr/src/cmd/format/misc.c

709

skip_digits(name);

usr/src/cmd/format/misc.c

715

skip_digits(name);

usr/src/cmd/format/misc.c

729

skip_digits(name);

usr/src/cmd/format/misc.c

735

skip_digits(name);

usr/src/cmd/format/misc.c

759

skip_digits(name);