| /seL4-l4v-master/seL4/src/arch/x86/64/smp/ |
| H A D | ipi.c | 13 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
| /seL4-l4v-master/seL4/src/arch/x86/32/smp/ |
| H A D | ipi.c | 12 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
| /seL4-l4v-master/seL4/src/arch/arm/smp/ |
| H A D | ipi.c | 29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | gctaskfarm.cpp | 125 bool GCTaskFarm::AddWork(gctask work, void *arg1, void *arg2) argument
145 void GCTaskFarm::AddWorkOrRunNow(gctask work, void *arg1, void *arg2) argument
173 void *arg2 = workQueue[outPos].arg2; local
|
| H A D | gctaskfarm.h | 42 void *arg2; member in struct:__anon15
|
| H A D | gc_update_phase.cpp | 213 static void updateLocalArea(GCTaskId*, void *arg1, void *arg2) argument
226 static void updateNonLocalMutableArea(GCTaskId*, void *arg1, void *arg2) argument
|
| H A D | quick_gc.cpp | 445 static void scanArea(GCTaskId *id, void *arg1, void *arg2) argument
|
| H A D | poly_specific.cpp | 420 POLYEXTERNALSYMBOL POLYUNSIGNED PolyTest4(FirstArgument threadId, PolyWord arg1, PolyWord arg2, PolyWord arg3, PolyWord arg4) argument
432 POLYEXTERNALSYMBOL POLYUNSIGNED PolyTest5(FirstArgument threadId, PolyWord arg1, PolyWord arg2, PolyWord arg3, PolyWord arg4, PolyWord arg5) argument
|
| H A D | gc_mark_phase.cpp | 255 void MTGCProcessMarkPointers::MarkPointersTask(GCTaskId *, void *arg1, void *arg2) argument
753 static void CreateBitmapsTask(GCTaskId *, void *arg1, void *arg2) argument
762 static void CheckMarksOnCodeTask(GCTaskId *, void *arg1, void *arg2) argument
|
| H A D | reals.cpp | 389 PolyRealRem(double arg1, double arg2) argument
394 PolyRealAtan2(double arg1, double arg2) argument
423 PolyRealCopySign(double arg1, double arg2) argument
428 PolyRealNextAfter(double arg1, double arg2) argument
433 PolyRealLdexp(double arg1, PolyWord arg2) argument
559 PolyRealFAtan2(float arg1, float arg2) argument
616 PolyRealFRem(float arg1, float arg2) argument
621 PolyRealFCopySign(float arg1, float arg2) argument
626 PolyRealFNextAfter(float arg1, float arg2) argument
[all...] |
| H A D | interpret.cpp | 80 #define arg2 (pc[2] + pc[3]*256) macro
|
| /seL4-l4v-master/HOL4/src/combin/ |
| H A D | combinpp.sml | 66 val arg2 = upd_processor G arg20 value
|
| /seL4-l4v-master/seL4/src/arch/x86/smp/ |
| H A D | ipi.c | 29 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
| /seL4-l4v-master/seL4/src/arch/riscv/smp/ |
| H A D | ipi.c | 31 handleRemoteCall(IpiRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
| /seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
| H A D | problem-set-1-answers.lisp | 317 (defun arg2 (inst) (nth 2 inst)) function
|
| /seL4-l4v-master/HOL4/src/num/arith/src/ |
| H A D | Arith_cons.sml | 130 and arg2 = rand; value
|
| H A D | Arith_cons.sig | 41 val arg2 : term -> term value
|
| /seL4-l4v-master/HOL4/src/integer/ |
| H A D | intSimps.sml | 125 val arg2 = rand value
|
| H A D | CooperMath.sml | 783 val arg2 = hd (tl args) value
|
| /seL4-l4v-master/HOL4/src/monad/ |
| H A D | parmonadsyntax.sml | [all...] |
| H A D | monadsyntax.sml | [all...] |
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | ReadHMF.sml | 165 val (arg2, s) = read_quoted_string b s value
|
| /seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/ |
| H A D | holfoot_pp_print.sml | 571 val arg2 = Parse.term_to_string e2; value
|
| /seL4-l4v-master/seL4/src/arch/arm/machine/ |
| H A D | l2c_310.c | 230 BOOT_CODE static void mshield_smc(uint32_t callid, uint32_t arg1, uint32_t arg2) argument
|
| /seL4-l4v-master/HOL4/examples/dev/ |
| H A D | compile.sml | 1692 val arg2 = rand bdy value
|