Symbol: tipin
usr/src/cmd/tip/tip.c
238
tipin();
usr/src/cmd/tip/tip.c
45
void tipin(void) __NORETURN;