Searched refs:PolyNetworkGetLinger (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dnetwork.cpp153 POLYEXTERNALSYMBOL POLYUNSIGNED PolyNetworkGetLinger(FirstArgument threadId, PolyWord arg);
1320 POLYUNSIGNED PolyNetworkGetLinger(FirstArgument threadId, PolyWord sock) function
2146 { "PolyNetworkGetLinger", (polyRTSFunction)&PolyNetworkGetLinger},
/seL4-l4v-master/HOL4/polyml/basis/
H A DSocket.sml314 val doGetLinger: OS.IO.iodesc -> LargeInt.int = RunCall.rtsCallFull1 "PolyNetworkGetLinger"

Completed in 48 milliseconds