66     typedef int SOCKET;  typedef
106     SOCKET              *listenSocket  in CreateSocket()
155     SOCKET           s  in PlatformServer()
251     SOCKET               listenSocket, serverSocket;  in PlatformSvcRoutine()
337     SOCKET               listenSocket;  in RegularCommandService()
338     SOCKET               serverSocket;  in RegularCommandService()
515     SOCKET           s,  in ReadBytes()
545     SOCKET           s,  in WriteBytes()
577     SOCKET           s,  in WriteUINT32()
590     SOCKET           s,  in ReadUINT32()
608     SOCKET           s,  in ReadVarBytes()
637     SOCKET           s,  in WriteVarBytes()
659     SOCKET           s  in TpmServer()