Searched refs:params (Results 1 - 6 of 6) sorted by relevance
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | bitfield_gen.py | 1152 def emit_named(name, params, string):
1154 # params.names
1156 if(name in params.names):
1157 print(string, file=params.output)
1158 print(file=params.output)
1161 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs):
1171 emit_named(fn_name, params, make_proof(prf_prefix + '_direct', substs, params.sorry))
1182 emit_named(fn_name, params, make_proof(prf_prefix + '_path', substs, params
2575 params = {} variable
[all...] |
| H A D | syscall_stub_gen.py | 402 params = []
405 params.append(param.type.render_parameter_name(param.name))
407 params.append(param.type.pointer().render_parameter_name(param.name))
410 params.append(param.type.pointer().render_parameter_name(param.name))
412 return ", ".join(params)
415 def generate_marshal_expressions(params, num_mrs, structs, wordsize):
469 positions = get_parameter_positions(params, wordsize)
479 def generate_unmarshal_expressions(params, wordsize):
515 positions = get_parameter_positions(params, wordsize)
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 1152 def emit_named(name, params, string):
1154 # params.names
1156 if(name in params.names):
1157 print(string, file=params.output)
1158 print(file=params.output)
1161 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs):
1171 emit_named(fn_name, params, make_proof(prf_prefix + '_direct', substs, params.sorry))
1182 emit_named(fn_name, params, make_proof(prf_prefix + '_path', substs, params
2575 params = {} variable
[all...] |
| H A D | syscall_stub_gen.py | 402 params = []
405 params.append(param.type.render_parameter_name(param.name))
407 params.append(param.type.pointer().render_parameter_name(param.name))
410 params.append(param.type.pointer().render_parameter_name(param.name))
412 return ", ".join(params)
415 def generate_marshal_expressions(params, num_mrs, structs, wordsize):
469 positions = get_parameter_positions(params, wordsize)
479 def generate_unmarshal_expressions(params, wordsize):
515 positions = get_parameter_positions(params, wordsize)
|
| /seL4-mcs-10.1.1/tools/ |
| H A D | bitfield_gen.py | 1152 def emit_named(name, params, string):
1154 # params.names
1156 if(name in params.names):
1157 print(string, file=params.output)
1158 print(file=params.output)
1161 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs):
1171 emit_named(fn_name, params, make_proof(prf_prefix + '_direct', substs, params.sorry))
1182 emit_named(fn_name, params, make_proof(prf_prefix + '_path', substs, params
2575 params = {} variable
[all...] |
| /seL4-mcs-10.1.1/manual/tools/ |
| H A D | parse_doxygen_xml.py | 146 params = {}
159 params[str(n.text)] = {"type": param_type}
170 params[param_name]["desc"] = param_desc
172 if len(params) == 0:
177 param_info = params[param_name]
244 def generate_api_doc(self, level, member, params, ret, details):
313 def generate_api_doc(self, level, member, params, ret, details):
322 {%(params)s}
331 "params": params,
[all...] |
Completed in 56 milliseconds