| /seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/model_check/ |
| H A D | modelCheckLib.sml | 130 val (arg1,arg2) = dest_pair (rand term); value
138 val (arg1,arg2) = dest_pair (rand term); value
146 val (arg1,arg2) = dest_pair (rand term); value
154 val (arg1,arg2) = dest_pair (rand term); value
163 val (arg1,arg2, arg3) = (el 1 arg_list, el 2 arg_list, el 3 arg_list); value
332 val (arg1,arg2) = dest_pair (rand term); value
340 val (arg1,arg2) = dest_pair (rand term); value
348 val (arg1,arg2) = dest_pair (rand term); value
356 val (arg1,arg2) = dest_pair (rand term); value
406 val (arg1,arg2) = dest_pair (rand term); value
414 val (arg1,arg2) = dest_pair (rand term); value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | gc_mark_phase.cpp | 253 void MTGCProcessMarkPointers::MarkPointersTask(GCTaskId *, void *arg1, void *arg2) argument
722 static void CreateBitmapsTask(GCTaskId *, void *arg1, void *arg2) argument
731 static void CheckMarksOnCodeTask(GCTaskId *, void *arg1, void *arg2) argument
|
| H A D | interpret.cpp | 85 #define arg1 (pc[0] + pc[1]*256) macro
[all...] |
| H A D | xwindows.cpp | 6794 WidgetBoolAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, Boolean), X_Object *arg1, PolyWord arg2 ) argument
6810 WidgetIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, int), X_Object *arg1, PolyWord arg2 ) argument
6826 WidgetLongAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, long), X_Object *arg1, PolyWord arg2 ) argument
6842 WidgetXmstringAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString), X_Object *arg1, PolyWord arg2 ) argument
6861 WidgetXmstringlistAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString *, int), X_Object *arg1, ML_Cons_Cell *arg2 ) argument
6882 WidgetIntBoolAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, int, Boolean), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument
6900 WidgetIntIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, int, int), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument
6918 WidgetXmstringBoolAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString, Boolean), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument
6940 WidgetXmstringIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString, int), X_Object *arg1, PolyWord arg2, PolyWord arg3 ) argument
6960 WidgetXmstringlistIntAction( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), void applyFunc(Widget, XmString *, int, int), X_Object *arg1, ML_Cons_Cell *arg2, PolyWord arg3 ) argument
7098 WidgetXmstringToIntlist( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), Boolean applyFunc(Widget, XmString, int**, int *), X_Object *arg1, PolyWord arg2 ) argument
7132 WidgetXmstringToInt( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), int applyFunc(Widget, XmString), X_Object *arg1, PolyWord arg2 ) argument
7154 WidgetXmstringToBool( TaskData *taskData, char *func_name, Widget getWidget(TaskData *, char *, X_Object *), Boolean applyFunc(Widget, XmString), X_Object *arg1, PolyWord arg2 ) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
| H A D | defunctionalize.sml | 467 let val (arg1, arg2) = dest_pair args value
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | CooperShell.sml | 379 val (arg1, arg2) = (hd args, hd (tl args)) value
|
| H A D | CooperMath.sml | 782 val arg1 = hd args value
|
| /seL4-l4v-10.1.1/HOL4/src/real/ |
| H A D | realSimps.sml | 413 fun arg1 tm = rand (rator tm) function
|
| /seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/ |
| H A D | holfoot_pp_print.sml | 570 val arg1 = Parse.term_to_string e1; value
|
| /seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/ |
| H A D | separationLogicSyntax.sml | 252 val (arg1, arg2) = strip_comb_2 asl_exists_list_term tt; value
330 val (arg1, arg2) = (el 1 args, el 2 args); value
|
| H A D | vars_as_resourceSyntax.sml | 114 val (arg1, arg2) = (el 1 args, el 2 args); value
122 val arg1 = el 1 args; value
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
| H A D | l2c_310.c | 235 mshield_smc(uint32_t callid, uint32_t arg1, uint32_t arg2) argument
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/ |
| H A D | compile.sml | 1512 else let val (arg1,arg2) = dest_pair bdy value
1696 val arg1 = rand(rator bdy) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | TYPEIDCODE.sml | 62 val arg1 = mkLoadArgument 0 (* Used frequently. *) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Foreign.sml | 3390 val arg1 = #load argConv arg1Addr value
3412 val arg1 = #load arg1Conv arg1Addr value
3441 val arg1 = #load arg1Conv arg1Addr value
3476 val arg1 value
3515 val arg1 = #load arg1Conv arg1Addr value
3558 val arg1 = #load arg1Conv arg1Addr value
[all...] |