tprintf          1772 nfs/nfs_socket.c 	tprintf(tpr, "nfs server %s: %s\n", server, msg);
tprintf            40 sys/tprintf.h  void	tprintf(tpr_t, const char *fmt, ...)