/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 23 invalidateLocalPCID(arg0, (void*)arg1, arg2); 27 invalidateLocalASID((vspace_root_t*)arg0, arg1);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | gctaskfarm.h | 41 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 D | gctaskfarm.cpp | 132 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 D | gc_update_phase.cpp | 217 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 D | arb.cpp | 97 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 D | gc_mark_phase.cpp | 101 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 D | sbi.h | 46 #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 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/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | cls_pointer.c | 46 void* arg1 = (void*)0x12345678; local 57 args[0] = &arg1; 68 res = (ffi_arg)(uintptr_t)((void*(*)(void*, void*))(code))(arg1, arg2);
|
H A D | cls_longdouble.c | 60 long double arg1 = 1; local 82 args[0] = &arg1; 100 long double, long double, long double, long double))(code))(arg1, arg2,
|
H A D | cls_pointer_stack.c | 109 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 D | parmonadsyntax.sml | 48 | 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 D | monadsyntax.sml | 138 | 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 D | ipi.h | 45 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 D | ipi.h | 29 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 D | ipi.c | 36 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 D | ffi.c | 158 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 D | BaseCodeTree.sml | 69 | 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 D | CODETREE_SIMPLIFIER.sml | 164 | 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 D | modelCheckLib.sml | 130 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 D | ipi.c | 36 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 D | parsePMATCH.sml | 167 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 D | m1-story.lisp | 25 ; 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 D | bagSimps.sml | 43 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 D | intSyntax.sml | 38 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])
|