Searched defs:strm (Results 1 - 18 of 18) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/recursiveclean/
H A Dselftest.sml11 val strm = TextIO.openIn p value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DAssembleDiskFiles.sml31 val strm = TextIO.openIn fname value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dholdeptool.sml16 val strm = TextIO.openIn f value
H A DHolmake_types.sml383 val strm = TextIO.openIn Holmake_tools.kernelid_fname value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DBool.sml41 val strm = StringCvt.skipWS getc str value
[all...]
H A DBasicStreamIO.sml472 val strm = value
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A DAssembleHolindexParser.sml49 val strm = TextIO.openIn fname value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A Dgenscriptdep.sml34 val strm = if ok then TextIO.stdOut else TextIO.stdErr value
H A DMB_Monitor.sml183 val strm = TextIO.openOut (genLogFile{tag = tag}) value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A DAssembleHolfootParser.sml57 val strm = TextIO.openIn fname value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dbasicio.cpp205 WaitStream(PIOSTRUCT strm): WaitHandle(strm == NULL ? NULL : strm->hAvailable) {} argument
213 WaitStream(PIOSTRUCT strm): WaitInputFD(strm == NULL ? -1 : strm->device.ioDesc) {} argument
220 static bool isAvailable(TaskData *taskData, PIOSTRUCT strm) argument
250 isAvailable(TaskData *taskData, PIOSTRUCT strm) argument
433 PIOSTRUCT strm = &basic_io_vector[stream_no]; local
[all...]
H A Dunix_specific.cpp829 PIOSTRUCT strm = get_stream(args->Word()); local
863 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
886 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
943 PIOSTRUCT strm local
972 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1108 PIOSTRUCT strm = get_stream(args->Word()); local
1118 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1128 PIOSTRUCT strm = get_stream(args->Word()); local
1138 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1148 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1160 PIOSTRUCT strm = get_stream(args->Word()); local
1186 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1199 PIOSTRUCT strm = get_stream(args->Word()); local
1212 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1222 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1232 PIOSTRUCT strm = get_stream(args->Word()); local
1241 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1465 PIOSTRUCT strm = get_stream(args->Word()); local
1505 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1541 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
[all...]
H A Dwindows_specific.cpp344 PIOSTRUCT strm = local
354 PIOSTRUCT strm = local
1058 PIOSTRUCT strm = &basic_io_vector[STREAMID(str_token)]; local
[all...]
H A Dnetwork.cpp427 PIOSTRUCT strm; local
540 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
564 PIOSTRUCT strm = get_stream(args->Word()); local
579 PIOSTRUCT strm = get_stream(args->Word()); local
591 PIOSTRUCT strm = get_stream(args->Word()); local
641 PIOSTRUCT strm = get_stream(args->Word()); local
657 PIOSTRUCT strm = get_stream(args->Word()); local
677 PIOSTRUCT strm = get_stream(args->Word()); local
744 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
758 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
815 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
825 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
844 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
903 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
964 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1016 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1316 PIOSTRUCT strm = get_stream(DEREFHANDLE(args)->Get(0)); local
1328 PIOSTRUCT strm = get_stream(args->Word()); local
1341 PIOSTRUCT strm = get_stream(args->Word()); local
1360 PIOSTRUCT strm = get_stream(inVec->Get(i)); local
1370 PIOSTRUCT strm = get_stream(inVec->Get(i)); local
1401 PIOSTRUCT strm = get_stream(readVec->Get(i)); local
1407 PIOSTRUCT strm = get_stream(writeVec->Get(i)); local
1413 PIOSTRUCT strm = get_stream(excVec->Get(i)); local
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DStream.sml226 fun strm () = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DStream.sml226 fun strm () = function
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sml270 val strm = TextIO.openOut Holmake_tools.kernelid_fname value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/
H A Dx64.sml4192 val strm = ref [] value
[all...]

Completed in 213 milliseconds