Searched refs:jkfprintf (Results 1 – 1 of 1) sorted by relevance
125 void jkfprintf(FILE *tp, char *name, int mbox, int offset);399 jkfprintf(tp, name, mbox, offset);405 jkfprintf(tp, name, mbox, offset) in jkfprintf() function