Searched refs:arg1 (Results 1 - 25 of 81) sorted by relevance

1234

/seL4-l4v-10.1.1/seL4/src/arch/x86/64/smp/
H A Dipi.c19 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
23 invalidateLocalPCID(arg0, (void*)arg1, arg2);
27 invalidateLocalASID((vspace_root_t*)arg0, arg1);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgctaskfarm.h41 void *arg1; member in struct:__anon14
52 bool AddWork(gctask task, void *arg1, void *arg2);
53 void AddWorkOrRunNow(gctask task, void *arg1, void *arg2);
H A Dgctaskfarm.cpp132 bool GCTaskFarm::AddWork(gctask work, void *arg1, void *arg2) argument
139 workQueue[queueIn].arg1 = arg1;
151 void GCTaskFarm::AddWorkOrRunNow(gctask work, void *arg1, void *arg2) argument
153 if (! AddWork(work, arg1, arg2))
154 (*work)(globalTask, arg1, arg2);
178 void *arg1 = workQueue[outPos].arg1; local
184 (*work)(&myTaskId, arg1, arg2);
H A Dgc_update_phase.cpp217 static void updateLocalArea(GCTaskId*, void *arg1, void *arg2) argument
219 MTGCProcessUpdate *processUpdate = (MTGCProcessUpdate *)arg1;
230 static void updateNonLocalMutableArea(GCTaskId*, void *arg1, void *arg2) argument
232 MTGCProcessUpdate *processUpdate = (MTGCProcessUpdate *)arg1;
242 static void updateGCProcAddresses(GCTaskId*, void *arg1, void *) argument
244 MTGCProcessUpdate *processUpdate = (MTGCProcessUpdate *)arg1;
H A Darb.cpp97 POLYEXTERNALSYMBOL POLYUNSIGNED PolyAddArbitrary(PolyObject *threadId, PolyWord arg1, PolyWord arg2);
98 POLYEXTERNALSYMBOL POLYUNSIGNED PolySubtractArbitrary(PolyObject *threadId, PolyWord arg1, PolyWord arg2);
99 POLYEXTERNALSYMBOL POLYUNSIGNED PolyMultiplyArbitrary(PolyObject *threadId, PolyWord arg1, PolyWord arg2);
100 POLYEXTERNALSYMBOL POLYUNSIGNED PolyDivideArbitrary(PolyObject *threadId, PolyWord arg1, PolyWord arg2);
101 POLYEXTERNALSYMBOL POLYUNSIGNED PolyRemainderArbitrary(PolyObject *threadId, PolyWord arg1, PolyWord arg2);
102 POLYEXTERNALSYMBOL POLYUNSIGNED PolyQuotRemArbitrary(PolyObject *threadId, PolyWord arg1, PolyWord arg2, PolyWord arg3);
103 POLYEXTERNALSYMBOL POLYSIGNED PolyCompareArbitrary(PolyWord arg1, PolyWord arg2);
104 POLYEXTERNALSYMBOL POLYUNSIGNED PolyGCDArbitrary(PolyObject *threadId, PolyWord arg1, PolyWord arg2);
105 POLYEXTERNALSYMBOL POLYUNSIGNED PolyLCMArbitrary(PolyObject *threadId, PolyWord arg1, PolyWord arg2);
107 POLYEXTERNALSYMBOL POLYUNSIGNED PolyOrArbitrary(PolyObject *threadId, PolyWord arg1, PolyWor
[all...]
H A Dgc_mark_phase.cpp101 static void MarkPointersTask(GCTaskId *, void *arg1, void *arg2);
253 void MTGCProcessMarkPointers::MarkPointersTask(GCTaskId *, void *arg1, void *arg2) argument
255 MTGCProcessMarkPointers *marker = (MTGCProcessMarkPointers*)arg1;
722 static void CreateBitmapsTask(GCTaskId *, void *arg1, void *arg2) argument
724 LocalMemSpace *lSpace = (LocalMemSpace *)arg1;
731 static void CheckMarksOnCodeTask(GCTaskId *, void *arg1, void *arg2) argument
733 CodeSpace *space = (CodeSpace*)arg1;
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/
H A Dsbi.h46 #define SBI_CALL(which, arg0, arg1, arg2) ({ \
48 register unsigned long a1 asm ("a1") = (unsigned long)(arg1); \
61 #define SBI_CALL_2(which, arg0, arg1) SBI_CALL(which, arg0, arg1, 0)
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/smp/
H A Dipi.c18 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dcls_pointer.c46 void* arg1 = (void*)0x12345678; local
57 args[0] = &arg1;
68 res = (ffi_arg)(uintptr_t)((void*(*)(void*, void*))(code))(arg1, arg2);
H A Dcls_longdouble.c60 long double arg1 = 1; local
82 args[0] = &arg1;
100 long double, long double, long double, long double))(code))(arg1, arg2,
H A Dcls_pointer_stack.c109 void* arg1 = (void*)0x01234567; local
120 args[0] = &arg1;
134 res = (ffi_arg)(uintptr_t)((void*(*)(void*, void*))(code))(arg1, arg2);
/seL4-l4v-10.1.1/HOL4/src/monad/
H A Dparmonadsyntax.sml48 | APP(loc1, APP(loc2, IDENT (loc3, ","), arg1), arg2) =>
49 VPAIR(loc1, to_vstruct arg1, to_vstruct arg2)
65 APP(loc1, APP(loc2, IDENT(loc3, s), arg1), arg2) => let
68 (to_vstruct arg1, arg2)
70 val (v1,a1) = clean_action arg1
85 APP(loc1, APP(loc2, IDENT(loc3, s), arg1), arg2) => let
88 val (bv, arg1') = clean_action (clean_do true arg1)
92 NONE => SOME arg1'
97 arg1'),
176 val (arg1, arg2) = valOf (dest_bind tmg t) value
[all...]
H A Dmonadsyntax.sml138 | APP(loc1, APP(loc2, IDENT (loc3, ","), arg1), arg2) =>
139 VPAIR(loc1, to_vstruct arg1, to_vstruct arg2)
149 APP(loc1, APP(loc2, IDENT(loc3, s), arg1), arg2) => let
152 (SOME (to_vstruct arg1), arg2)
162 APP(loc1, APP(loc2, IDENT(loc3, s), arg1), arg2) => let
165 val (bv, arg1') = clean_action (clean_do true arg1)
169 NONE => SOME arg1'
176 arg1'),
181 arg1'),
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/smp/
H A Dipi.h45 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/smp/
H A Dipi.h29 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2);
/seL4-l4v-10.1.1/seL4/src/arch/x86/smp/
H A Dipi.c36 word_t arg1, word_t arg2, bool_t irqPath)
47 invalidateLocalPageStructureCacheASID(arg0, arg1);
55 invalidateLocalTranslationSingleASID(arg0, arg1);
75 Mode_handleRemoteCall(call, arg0, arg1, arg2);
35 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/moxie/
H A Dffi.c158 void ffi_closure_eabi (unsigned arg1, unsigned arg2, unsigned arg3, argument
172 void *struct_rvalue = (void *) arg1;
179 { arg1, arg2, arg3, arg4, arg5, arg6 };
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DBaseCodeTree.sml69 | Unary of {oper: BuiltIns.unaryOps, arg1: codetree}
70 | Binary of {oper: BuiltIns.binaryOps, arg1: codetree, arg2: codetree}
77 {oper: arbPrecisionOps, shortCond: codetree, arg1: codetree, arg2: codetree, longCall: codetree}
283 | Unary { oper, arg1 } =>
284 prettyBuiltin(BuiltIns.unaryRepr oper, [arg1])
286 | Binary { oper, arg1, arg2 } =>
287 prettyBuiltin(BuiltIns.binaryRepr oper, [arg1, arg2])
289 | Arbitrary { oper, shortCond, arg1, arg2, longCall } =>
296 prettyBuiltin(operName, [shortCond, arg1, arg2, longCall])
642 | mapt(Unary { oper, arg1 })
[all...]
H A DCODETREE_SIMPLIFIER.sml164 | simpGeneral context (Unary{oper, arg1}) =
165 SOME(specialToGeneral(simpUnary(oper, arg1, context, RevList [])))
167 | simpGeneral context (Binary{oper, arg1, arg2}) =
168 SOME(specialToGeneral(simpBinary(oper, arg1, arg2, context, RevList [])))
170 | simpGeneral context (Arbitrary{oper=ArbCompare test, shortCond, arg1, arg2, longCall}) =
171 SOME(specialToGeneral(simpArbitraryCompare(test, shortCond, arg1, arg2, longCall, context, RevList [])))
173 | simpGeneral context (Arbitrary{oper=ArbArith arith, shortCond, arg1, arg2, longCall}) =
174 SOME(specialToGeneral(simpArbitraryArith(arith, shortCond, arg1, arg2, longCall, context, RevList [])))
429 arg1=LoadOperation{kind=moveKind, address={base=baseSrc, index=indexSrc, offset=offsetSrc+offset*multiplier}},
479 | simpSpecial (Unary{oper, arg1}, contex
[all...]
/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/model_check/
H A DmodelCheckLib.sml130 val (arg1,arg2) = dest_pair (rand term); value
131 val (s1, uv) = xprop_prop_logic_to_bdd uv arg1
138 val (arg1,arg2) = dest_pair (rand term); value
139 val (s1, uv) = xprop_prop_logic_to_bdd uv arg1
146 val (arg1,arg2) = dest_pair (rand term); value
147 val (s1, uv) = xprop_prop_logic_to_bdd uv arg1
154 val (arg1,arg2) = dest_pair (rand term); value
155 val (s1, uv) = xprop_prop_logic_to_bdd uv arg1
163 val (arg1,arg2, arg3) = (el 1 arg_list, el 2 arg_list, el 3 arg_list); value
164 val (s1, uv) = xprop_prop_logic_to_bdd uv arg1
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/seL4/src/arch/arm/smp/
H A Dipi.c36 word_t arg1, word_t arg2, bool_t irqPath)
35 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DparsePMATCH.sml167 Rand = arg1, ...},
172 (fn a => recurse (SOME ty1) a arg1)
173 | _ => recurse NONE acc arg2 >- (fn a => recurse NONE a arg1))
174 | (Comb{Rator = arg1, Rand = arg2, ...}, _) =>
175 recurse NONE acc arg2 >- (fn a => recurse NONE a arg1)
269 APP(l1, APP(l2, IDENT(l3, c), arg1), arg2) =>
272 val arg1 = recursor arg1 value
276 list_make_comb l1 [pmatch_pt, arg1, mk_ptlist rows]
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp25 ; opcode, arg1, arg2 - Problem 1-4
36 (push (arg1 inst) (stack s))
42 (push (nth (arg1 inst)
58 (update-nth (arg1 inst) (top (stack s)) (locals s))
81 (make-state (+ (arg1 inst) (pc s))
88 (+ (arg1 inst) (pc s))
988 ; (push (nth (arg1 inst)
996 ; :stack (push (nth (arg1 inst)
1032 (equal (modify s :stack (push (arg1 inst) (stack s)))
1035 (push (arg1 ins
[all...]
/seL4-l4v-10.1.1/HOL4/src/bag/
H A DbagSimps.sml43 val (mk_rel, thm, (arg1, arg2)) =
48 val basetype = base_type arg1
50 val arg1_ts = strip_union arg1 and arg2_ts = strip_union arg2
61 val ac1 = mk_eq(arg1, if null rem1 then cpt
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DintSyntax.sml38 val (f, arg1) = dest_comb farg1
41 else (arg1, arg2)
46 fun mk_plus (arg1, arg2) = list_mk_comb(plus_tm, [arg1, arg2])
93 fun mk_exp (arg1, arg2) = list_mk_comb(exp_tm, [arg1, arg2])

Completed in 231 milliseconds

1234