| /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
| H A D | problem-set-1-answers.lisp | 316 (defun arg1 (inst) (nth 1 inst)) function
|
| /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/examples/dev/sw/ |
| H A D | IR.sml | 410 let val (arg1,arg2) = dest_pair args value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
| H A D | IR.sml | 289 let val (arg1,arg2) = dest_pair args value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/ |
| H A D | IR.sml | 272 let val (arg1,arg2) = dest_pair args value
|
| /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/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/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/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...] |
| /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 | gc_update_phase.cpp | 217 static void updateLocalArea(GCTaskId*, void *arg1, void *arg2) argument
230 static void updateNonLocalMutableArea(GCTaskId*, void *arg1, void *arg2) argument
242 static void updateGCProcAddresses(GCTaskId*, void *arg1, void *) argument
|
| H A D | gctaskfarm.cpp | 132 bool GCTaskFarm::AddWork(gctask work, void *arg1, void *arg2) argument
151 void GCTaskFarm::AddWorkOrRunNow(gctask work, void *arg1, void *arg2) argument
178 void *arg1 = workQueue[outPos].arg1; local
|
| H A D | gctaskfarm.h | 41 void *arg1; member in struct:__anon14
|
| H A D | interpret.cpp | 85 #define arg1 (pc[0] + pc[1]*256) macro
[all...] |
| H A D | quick_gc.cpp | 422 static void scanArea(GCTaskId *id, void *arg1, void *arg2) argument
|
| 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/polyml/libpolyml/libffi/src/frv/ |
| H A D | ffi.c | 166 void ffi_closure_eabi (unsigned arg1, unsigned arg2, unsigned arg3, argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/moxie/ |
| H A D | ffi.c | 158 void ffi_closure_eabi (unsigned arg1, unsigned arg2, unsigned arg3, argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | cls_longdouble.c | 60 long double arg1 = 1; local
|
| H A D | cls_pointer.c | 46 void* arg1 = (void*)0x12345678; local
|
| H A D | cls_pointer_stack.c | 109 void* arg1 = (void*)0x01234567; local
|
| /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/src/integer/ |
| H A D | CooperMath.sml | 782 val arg1 = hd args value
|