| /seL4-l4v-10.1.1/seL4/src/arch/x86/smp/ |
| H A D | ipi.c | 35 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/smp/ |
| H A D | ipi.c | 19 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/smp/ |
| H A D | ipi.c | 18 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/smp/ |
| H A D | ipi.c | 35 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
| /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/polyml/mlsource/MLCompiler/ |
| H A D | TYPEIDCODE.sml | 63 val arg2 = mkLoadArgument 1 value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | xwindows.cpp | 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
[all...] |
| H A D | quick_gc.cpp | 422 static void scanArea(GCTaskId *id, void *arg1, void *arg2) argument
|
| H A D | interpret.cpp | 86 #define arg2 (pc[2] + pc[3]*256) macro
|
| 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
179 void *arg2 = workQueue[outPos].arg2; local
|
| H A D | gctaskfarm.h | 42 void *arg2; member in struct:__anon14
|
| 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
|
| 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
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | cls_pointer.c | 47 void* arg2 = (void*)0x89abcdef; local
|
| H A D | cls_pointer_stack.c | 110 void* arg2 = (void*)0x89abcdef; local
|
| H A D | cls_longdouble.c | 61 long double arg2 = 2; local
|
| /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/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/basis/ |
| H A D | Foreign.sml | 3413 and arg2 = #load arg2Conv arg2Addr value
3442 and arg2 = #load arg2Conv arg2Addr value
3477 and arg2 = #load arg2Conv arg2Addr value
3516 and arg2 value
3559 and arg2 = #load arg2Conv arg2Addr value
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | ReadHMF.sml | 164 val (arg2, s) = read_quoted_string b s value
|
| /seL4-l4v-10.1.1/HOL4/src/real/ |
| H A D | realSimps.sml | 414 val arg2 = rand value
|
| /seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
| H A D | Arith_cons.sig | 41 val arg2 : term -> term value
|
| H A D | Arith_cons.sml | 130 and arg2 = rand; value
|
| /seL4-l4v-10.1.1/HOL4/src/monad/ |
| H A D | parmonadsyntax.sml | [all...] |
| H A D | monadsyntax.sml | [all...] |