Searched defs:result (Results 76 - 100 of 267) sorted by relevance

1234567891011

/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DStronglyConnected.sml69 val result = strongcomponent(valOf(List.find(fn item => nodeAddress item = a) rlist), args); value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DDiskFilesHeader.sml23 val result = value
40 val result = value
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DZ3.sml89 val result = is_sat_stream instream value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DMultithreading.sml109 val result = Exn.capture (restore_attributes e) (); value
116 val result = Exn.capture (restore_attributes e) (); value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A Dseq.sig21 val result : 'a -> 'a seq value
H A Dseq.sml46 fun result x = LCONS(x, LNIL) function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Djava_raw_api.c47 size_t result = 0; local
H A Draw_api.c37 size_t result = 0; local
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/nios2/
H A Dffi.c154 UINT64 result; local
209 UINT64 result; local
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dcls_24byte.c23 struct cls_struct_24byte result; local
[all...]
H A Dcls_64byte.c28 struct cls_struct_64byte result; local
[all...]
H A Dnested_struct10.c30 struct B result; local
H A Dnested_struct2.c24 struct B result; local
H A Dnested_struct3.c24 struct B result; local
H A Dnested_struct4.c24 struct B result; local
H A Dnested_struct5.c24 struct B result; local
H A Dnested_struct6.c29 struct B result; local
H A Dnested_struct7.c24 struct B result; local
H A Dnested_struct8.c29 struct B result; local
H A Dnested_struct9.c29 struct B result; local
H A Dstret_large.c38 struct_108byte result; local
[all...]
H A Dstret_large2.c39 struct_116byte result; local
[all...]
H A Dstret_medium.c30 struct_72byte result; local
[all...]
H A Dstret_medium2.c31 struct_72byte result; local
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpoly_specific.cpp226 PolyObject *result = gMem.AllocCodeSpace(args->WordP()); local
268 Handle result = 0; local
305 PolyObject *result = 0; local
337 Handle result = 0; local
[all...]

Completed in 138 milliseconds

1234567891011