Searched refs:args (Results 101 - 125 of 661) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dstruct5.c26 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 Dva_struct1.c50 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 Dva_struct2.c52 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 Dva_struct3.c54 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 Dnested_struct11.c102 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 Dpoly_specific.cpp81 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 Dnetwork.cpp308 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 Dci_build_benchmark.scala12 def pre_hook(args: List[String]) = {}
H A Dci_build_makeall.scala11 def pre_hook(args: List[String]) = {}
H A Dci_build_makeall_seq.scala11 def pre_hook(args: List[String]) = {}
/seL4-l4v-10.1.1/l4v/spec/cspec/
H A Dmk_umm_types.py44 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 Ddecompile.py18 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 Dgetopts.scala47 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 Disabelle_process.scala18 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 Dgetopts.scala47 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 Disabelle_process.scala18 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 Dcomparelogs.sml30 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 Dholfoot_pp_print.sml117 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 Dserver_commands.scala50 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 Dserver_commands.scala50 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 Dgen_invocations.py123 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 DGraphBrowser.java185 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 DGraphBrowser.java185 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 Dmunger.lex49 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 DmlibMatch.sml37 | 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...]

Completed in 322 milliseconds

1234567891011>>