Searched defs:skt (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | network.cpp | 555 WinSocket(SOCKET skt) : socket(skt) {} argument
611 static Handle wrapStreamSocket(TaskData *taskData, SOCKET skt) argument
629 static Handle wrapStreamSocket(TaskData *taskData, SOCKET skt) argument
736 PolyNetworkGetSocketError(FirstArgument threadId, PolyWord skt) argument
847 PolyNetworkConnect(FirstArgument threadId, PolyWord skt, PolyWord addr) argument
868 PolyNetworkAccept(FirstArgument threadId, PolyWord skt) argument
1127 SOCKET skt = 0; local
1293 SOCKET skt = getStreamSocket(taskData, sock); local
1329 SOCKET skt = getStreamSocket(taskData, sock); local
1358 SOCKET skt = getStreamSocket(taskData, sock); local
1385 SOCKET skt = getStreamSocket(taskData, sock); local
1411 SOCKET skt = getStreamSocket(taskData, sock); local
1441 SOCKET skt = getStreamSocket(taskData, sock); local
1470 SOCKET skt = getStreamSocket(taskData, sock); local
1484 PolyNetworkListen(FirstArgument threadId, PolyWord skt, PolyWord back) argument
1505 PolyNetworkShutdown(FirstArgument threadId, PolyWord skt, PolyWord smode) argument
[all...] |
Completed in 31 milliseconds