Searched refs:jkfprintf (Results 1 – 1 of 1) sorted by relevance
120 void jkfprintf(FILE *tp, char *name, int mbox, int offset);390 jkfprintf(tp, name, mbox, offset); in notify()396 jkfprintf(FILE *tp, char *name, int mbox, int offset) in jkfprintf() function