portbuf          1124 src/simh/sim_sock.c char portbuf[NI_MAXSERV+1];
portbuf          1133 src/simh/sim_sock.c     _sim_getaddrname ((struct sockaddr *)&sockname, (size_t)socknamesize, hostbuf, portbuf);
portbuf          1134 src/simh/sim_sock.c     (void)sprintf(*socknamebuf, "[%s]:%s", hostbuf, portbuf);
portbuf          1137 src/simh/sim_sock.c     _sim_getaddrname ((struct sockaddr *)&peername, (size_t)peernamesize, hostbuf, portbuf);
portbuf          1138 src/simh/sim_sock.c     (void)sprintf(*peernamebuf, "[%s]:%s", hostbuf, portbuf);