/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | struct5.c | 26 ffi_type *args[MAX_ARGS]; local 45 args[0] = &ts5_type; 46 args[1] = &ts5_type; 51 CHECK(ffi_prep_cif(&cif, ABI_NUM, 2, &ts5_type, args) == FFI_OK);
|
H A D | va_struct1.c | 50 void* args[5]; local 109 args[0] = &n; 110 args[1] = &s1; 111 args[2] = &l1; 112 args[3] = &s2; 113 args[4] = NULL; 115 ffi_call(&cif, FFI_FN(test_fn), &res, args);
|
H A D | va_struct2.c | 52 void* args[5]; local 111 args[0] = &n; 112 args[1] = &s1; 113 args[2] = &l1; 114 args[3] = &s2; 115 args[4] = NULL; 117 ffi_call(&cif, FFI_FN(test_fn), &res, args);
|
H A D | va_struct3.c | 54 void* args[5]; local 113 args[0] = &n; 114 args[1] = &s1; 115 args[2] = &l1; 116 args[3] = &s2; 117 args[4] = NULL; 119 ffi_call(&cif, FFI_FN(test_fn), &res, args);
|
H A D | nested_struct11.c | 102 void *args[7]; local 103 args[0] = &k; 104 args[1] = &k; 105 args[2] = &k; 106 args[3] = &source; 107 args[4] = &k; 108 args[5] = &k; 109 args[6] = &k; 113 ffi_call (&cif, FFI_FN (C_fn), &result, args);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | poly_specific.cpp | 81 Handle poly_dispatch_c(TaskData *taskData, Handle args, Handle code) argument 126 return SaveState(taskData, args); 129 return LoadState(taskData, false, args); 135 return RenameParent(taskData, args); 138 return ShowParent(taskData, args); 145 unsigned index = get_C_unsigned(taskData, DEREFHANDLE(args)->Get(0)); 148 POLYSIGNED value = getPolySigned(taskData, DEREFHANDLE(args)->Get(1)); 157 return globalStats.getRemoteStatistics(taskData, getPolyUnsigned(taskData, args->Word())); 160 return StoreModule(taskData, args); 163 return LoadModule(taskData, args); [all...] |
H A D | network.cpp | 308 static Handle setSocketOption(TaskData *taskData, Handle args, int level, int opt); 309 static Handle getSocketOption(TaskData *taskData, Handle args, int level, int opt); 310 static Handle getSocketInt(TaskData *taskData, Handle args, int level, int opt); 311 static Handle selectCall(TaskData *taskData, Handle args, int blockType); 394 static Handle Net_dispatch_c(TaskData *taskData, Handle args, Handle code) argument 429 int af = get_C_int(taskData, DEREFHANDLE(args)->Get(0)); 430 int type = get_C_int(taskData, DEREFHANDLE(args)->Get(1)); 431 int proto = get_C_int(taskData, DEREFHANDLE(args)->Get(2)); 478 return setSocketOption(taskData, args, IPPROTO_TCP, TCP_NODELAY); 481 return getSocketOption(taskData, args, IPPROTO_TC 1314 setSocketOption(TaskData *taskData, Handle args, int level, int opt) argument 1326 getSocketOption(TaskData *taskData, Handle args, int level, int opt) argument 1339 getSocketInt(TaskData *taskData, Handle args, int level, int opt) argument 1352 getSelectResult(TaskData *taskData, Handle args, int offset, fd_set *pFds) argument 1381 selectCall(TaskData *taskData, Handle args, int blockType) argument [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/Admin/jenkins/build/ |
H A D | ci_build_benchmark.scala | 12 def pre_hook(args: List[String]) = {}
|
H A D | ci_build_makeall.scala | 11 def pre_hook(args: List[String]) = {}
|
H A D | ci_build_makeall_seq.scala | 11 def pre_hook(args: List[String]) = {}
|
/seL4-l4v-10.1.1/l4v/spec/cspec/ |
H A D | mk_umm_types.py | 44 args = parser.parse_args() variable 68 "input": os.path.abspath(args.input), 69 "output": os.path.abspath(args.output), 86 + interleave("-d", [os.path.abspath(x) for x in args.root])
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | decompile.py | 18 args = parser.parse_args() variable 20 if args.fast: 36 def call_input_output(args,input_str,output_file): 42 ret = subprocess.call(args, stdin=input, stdout=out, stderr=out, universal_newlines=True, shell=True) 48 elf = os.path.abspath(args.filename) 49 output_file = os.path.abspath(args.filename + '_output.txt') 56 ml_input = ml_input.format(elf, fast_str, args.ignore)
|
/seL4-l4v-10.1.1/isabelle/src/Pure/System/ |
H A D | getopts.scala | 47 private def getopts(args: List[List[Char]]): List[List[Char]] = 48 args match { 64 case _ => args 67 def apply(args: List[String]): List[String] = getopts(args.map(_.toList)).map(_.mkString) 68 def apply(args: Array[String]): List[String] = apply(args.toList)
|
H A D | isabelle_process.scala | 18 args: List[String] = Nil, 31 Isabelle_Process(options, logic = logic, args = args, dirs = dirs, modes = modes, 39 args: List[String] = Nil, 52 ML_Process(options, logic = logic, args = args, dirs = dirs, modes = modes, cwd = cwd,
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/ |
H A D | getopts.scala | 47 private def getopts(args: List[List[Char]]): List[List[Char]] = 48 args match { 64 case _ => args 67 def apply(args: List[String]): List[String] = getopts(args.map(_.toList)).map(_.mkString) 68 def apply(args: Array[String]): List[String] = apply(args.toList)
|
H A D | isabelle_process.scala | 18 args: List[String] = Nil, 31 Isabelle_Process(options, logic = logic, args = args, dirs = dirs, modes = modes, 39 args: List[String] = Nil, 52 ML_Process(options, logic = logic, args = args, dirs = dirs, modes = modes, cwd = cwd,
|
/seL4-l4v-10.1.1/HOL4/developers/ |
H A D | comparelogs.sml | 30 fun getargs appname args = 32 fun recurse args = 33 case args of 39 | _ => {bequiet = false, diffsort = false, files = args} 41 recurse args 86 fun print_line m args thyname = let 94 app print_entry args; 106 val {bequiet,diffsort,files = args} = getargs (CommandLine.name()) args0 108 val _ = if null args then die "Must specify at least one file to \"analyse\"" 111 val _ = if length args <> [all...] |
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/ |
H A D | holfoot_pp_print.sml | 117 val (op_term,args) = strip_comb t; 122 val v_term = el 1 args; 123 val exp_term = el 2 args; 124 val tag_term = el 3 args; 137 val exp_term = el 1 args; 138 val tag_term = el 2 args; 139 val exp2_term = el 3 args; 152 val name_term = el 1 args; 153 val args_term = el 2 args; 162 val name1_term = el 1 args; [all...] |
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/ |
H A D | server_commands.scala | 50 def command(args: Args, progress: Progress = No_Progress) 53 val options = Options.init(prefs = args.preferences, opts = args.options) 54 val dirs = args.dirs.map(Path.explode(_)) 57 Sessions.base_info(options, args.session, progress = progress, dirs = dirs, 58 include_sessions = args.include_sessions) 65 system_mode = args.system_mode, 68 verbose = args.verbose, 69 sessions = List(args.session)) 109 def command(args [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/ |
H A D | server_commands.scala | 50 def command(args: Args, progress: Progress = No_Progress) 53 val options = Options.init(prefs = args.preferences, opts = args.options) 54 val dirs = args.dirs.map(Path.explode(_)) 57 Sessions.base_info(options, args.session, progress = progress, dirs = dirs, 58 include_sessions = args.include_sessions) 65 system_mode = args.system_mode, 68 verbose = args.verbose, 69 sessions = List(args.session)) 109 def command(args [all...] |
/seL4-l4v-10.1.1/seL4/manual/tools/ |
H A D | gen_invocations.py | 123 args = parser.parse_args() 125 if args.dtd is not None: 126 dtd = etree.DTD(args.dtd) 127 for f in args.files: 130 logging.error("Failed to validate %s against %s" % (f, args.dtd)) 134 if not os.path.exists(os.path.dirname(args.output)): 135 os.makedirs(os.path.dirname(args.output)) 137 with open(args.output, "w") as output: 138 gen_invocations(args.files, output)
|
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
H A D | GraphBrowser.java | 185 public static void main(String[] args) { argument 188 GraphBrowser gb=new GraphBrowser(args.length > 0 ? args[0] : ""); 189 if (args.length > 0) { 190 InputStream is=new FileInputStream(args[0]); 191 gb.initBrowser(is, args.length > 1); 194 if (args.length > 1) { 196 if (args[1].endsWith(".ps")) 197 gb.gv.PS(args[1], true); 198 else if (args[ [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | GraphBrowser.java | 185 public static void main(String[] args) { argument 188 GraphBrowser gb=new GraphBrowser(args.length > 0 ? args[0] : ""); 189 if (args.length > 0) { 190 InputStream is=new FileInputStream(args[0]); 191 gb.initBrowser(is, args.length > 1); 194 if (args.length > 1) { 196 if (args[1].endsWith(".ps")) 197 gb.gv.PS(args[1], true); 198 else if (args[ [all...] |
/seL4-l4v-10.1.1/HOL4/src/TeX/ |
H A D | munger.lex | 49 fun replace (pos, argpos, comm, optstring, args) = let 68 argument = unescape args}) 85 args = "{"("\\}"|[^}])+"}"; 89 <INITIAL>"\\HOLtm" {options}? {args} => 90 (let val (optstring, args, argpos) = getparts yytext 93 Term, optstring, args); 97 <INITIAL>"\\HOLthm" {options}? {args} => 98 (let val (optstring, args, argpos) = getparts yytext 101 Theorem, optstring, args); 105 <INITIAL>"\\HOLty" {options}? {args} [all...] |
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibMatch.sml | 37 | matchl env ((Fn (f, args), Fn (f', args')) :: rest) = 38 if f = f' andalso length args = length args' then 39 matchl env (zip args args' @ rest) 75 | solve' env (Fn (f, args)) (Fn (f', args')) rest = 76 if f = f' andalso length args = length args' the [all...] |