Searched defs:sock (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-master/HOL4/examples/RL_Environment/ |
| H A D | RL_Environment.sml | 152 val sock value
154 val sock = INetSock.TCP.socket() value
[all...] |
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Socket.sml | 174 datatype sock = datatype LibraryIOSupport.sock type
[all...] |
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | network.cpp | 716 SOCKET sock = getStreamSocket(taskData, sockHandle->Word()); local
727 SOCKET sock = getStreamSocket(taskData, args->Word()); local
745 SOCKET sock = getStreamSocket(taskData, skt); local
780 SOCKET sock = getStreamSocket(taskData, inVec->Get(i)); local
790 SOCKET sock = getStreamSocket(taskData, inVec->Get(i)); local
854 SOCKET sock = getStreamSocket(taskData, skt); local
877 SOCKET sock = getStreamSocket(taskData, skt); local
913 SOCKET sock = getStreamSocket(taskData, DEREFHANDLE(args)->Get(0)); local
952 SOCKET sock = getStreamSocket(taskData, DEREFHANDLE(args)->Get(0)); local
994 SOCKET sock = getStreamSocket(taskData, DEREFHANDLE(args)->Get(0)); local
1029 SOCKET sock = getStreamSocket(taskData, DEREFHANDLE(args)->Get(0)); local
1161 PolyNetworkSetOption(FirstArgument threadId, PolyWord code, PolyWord sock, PolyWord opt) argument
1285 PolyNetworkSetLinger(FirstArgument threadId, PolyWord sock, PolyWord lingerTime) argument
1320 PolyNetworkGetLinger(FirstArgument threadId, PolyWord sock) argument
1349 PolyNetworkGetPeerName(FirstArgument threadId, PolyWord sock) argument
1376 PolyNetworkGetSockName(FirstArgument threadId, PolyWord sock) argument
1402 PolyNetworkBytesAvailable(FirstArgument threadId, PolyWord sock) argument
1432 PolyNetworkGetAtMark(FirstArgument threadId, PolyWord sock) argument
1462 PolyNetworkBind(FirstArgument threadId, PolyWord sock, PolyWord addr) argument
1492 SOCKET sock = getStreamSocket(taskData, skt); local
1513 SOCKET sock = getStreamSocket(taskData, skt); local
[all...] |
Completed in 88 milliseconds