Symbol: sup_pushtoken
usr/src/cmd/format/io.h
117
void sup_pushtoken(char *token_buf, int token_type);
usr/src/cmd/format/startup.c
2392
sup_pushtoken(token_buf, token_type);