42      int                      PortNumber,  in CreateSocket()  argument
67    MyAddress.sin_port=htons((short) PortNumber);  in CreateSocket()
173    int                      PortNumber = (int)(INT_PTR) port;  in PlatformSvcRoutine()  local
179    res = CreateSocket(PortNumber, &listenSocket);  in PlatformSvcRoutine()
190        printf("Platform server listening on port %d\n", PortNumber);  in PlatformSvcRoutine()
219    int                 PortNumber  in PlatformSignalService()  argument
224    int                      port = PortNumber;  in PlatformSignalService()
244    int                 PortNumber  in RegularCommandService()  argument
252    res = CreateSocket(PortNumber, &listenSocket);  in RegularCommandService()
263        printf("TPM command server listening on port %d\n", PortNumber);  in RegularCommandService()
292    int                  PortNumber  in StartTcpServer()  argument
297    res = PlatformSignalService(PortNumber+1);  in StartTcpServer()
304    res = RegularCommandService(PortNumber);  in StartTcpServer()