Searched defs:result (Results 26 - 50 of 267) sorted by relevance

1234567891011

/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DMosml.sml30 val result = if OS.Process.isSuccess status then value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dcls_pointer.c12 void* result = (void*)((intptr_t)a1 + (intptr_t)a2); local
H A Dpyobjc-tc.c96 ffi_arg result; local
H A Dcls_12byte.c19 struct cls_struct_12byte result; local
H A Dcls_16byte.c20 struct cls_struct_16byte result; local
H A Dcls_18byte.c21 struct cls_struct_18byte result; local
[all...]
H A Dcls_19byte.c22 struct cls_struct_19byte result; local
[all...]
H A Dcls_1_1byte.c21 struct cls_struct_1_1byte result; local
H A Dcls_20byte.c20 struct cls_struct_20byte result; local
H A Dcls_20byte1.c22 struct cls_struct_20byte result; local
H A Dcls_2byte.c20 struct cls_struct_2byte result; local
H A Dcls_3_1byte.c21 struct cls_struct_3_1byte result; local
H A Dcls_3byte1.c20 struct cls_struct_3byte result; local
H A Dcls_3byte2.c20 struct cls_struct_3byte_1 result; local
H A Dcls_4_1byte.c22 struct cls_struct_4_1byte result; local
[all...]
H A Dcls_4byte.c20 struct cls_struct_4byte result; local
H A Dcls_5_1_byte.c22 struct cls_struct_5byte result; local
[all...]
H A Dcls_5byte.c20 struct cls_struct_5byte result; local
H A Dcls_6_1_byte.c23 struct cls_struct_6byte result; local
[all...]
H A Dcls_6byte.c22 struct cls_struct_6byte result; local
[all...]
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Djoin.sml27 type result = ParserData.result type
72 type result = ParserData.result type
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DNetServDB.sml36 datatype result = AResult of entry | NoResult type
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Djoin.sml27 type result = ParserData.result type
72 type result = ParserData.result type
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c132 bool_t result; local
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/
H A Dppc_encodeLib.sml54 val result = Arbnum.toHexString(Arbnum.fromBinString (concat res)) value

Completed in 121 milliseconds

1234567891011