portbuf          1130 src/simh/sim_sock.c char portbuf[NI_MAXSERV+1];
portbuf          1139 src/simh/sim_sock.c     _sim_getaddrname ((struct sockaddr *)&sockname, (size_t)socknamesize, hostbuf, portbuf);
portbuf          1140 src/simh/sim_sock.c     (void)sprintf(*socknamebuf, "[%s]:%s", hostbuf, portbuf);
portbuf          1143 src/simh/sim_sock.c     _sim_getaddrname ((struct sockaddr *)&peername, (size_t)peernamesize, hostbuf, portbuf);
portbuf          1144 src/simh/sim_sock.c     (void)sprintf(*peernamebuf, "[%s]:%s", hostbuf, portbuf);