Searched refs:emit_named (Results 1 - 3 of 3) sorted by relevance
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | bitfield_gen.py | 1152 def emit_named(name, params, string): function
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.sorry))
1317 emit_named("%(name)s_get_%(tagname)s" % substs, params,
1323 emit_named("%(name)s_ptr_get_%(tagname)s" % substs, params,
1330 emit_named("%s_get_%s" % (self.name, self.tagname), params,
1333 emit_named("%s_%s_equals" % (self.name, self.tagname), params,
1349 emit_named("%s_%s_new" % (self.name, ref.name), params,
1358 emit_named("%s_%s_ptr_new" % (self.name, ref.name), params,
1369 emit_named("
[all...] |
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 1152 def emit_named(name, params, string): function
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.sorry))
1317 emit_named("%(name)s_get_%(tagname)s" % substs, params,
1323 emit_named("%(name)s_ptr_get_%(tagname)s" % substs, params,
1330 emit_named("%s_get_%s" % (self.name, self.tagname), params,
1333 emit_named("%s_%s_equals" % (self.name, self.tagname), params,
1349 emit_named("%s_%s_new" % (self.name, ref.name), params,
1358 emit_named("%s_%s_ptr_new" % (self.name, ref.name), params,
1369 emit_named("
[all...] |
| /seL4-mcs-10.1.1/tools/ |
| H A D | bitfield_gen.py | 1152 def emit_named(name, params, string): function
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.sorry))
1317 emit_named("%(name)s_get_%(tagname)s" % substs, params,
1323 emit_named("%(name)s_ptr_get_%(tagname)s" % substs, params,
1330 emit_named("%s_get_%s" % (self.name, self.tagname), params,
1333 emit_named("%s_%s_equals" % (self.name, self.tagname), params,
1349 emit_named("%s_%s_new" % (self.name, ref.name), params,
1358 emit_named("%s_%s_ptr_new" % (self.name, ref.name), params,
1369 emit_named("
[all...] |
Completed in 96 milliseconds