Searched refs:emit_named_ptr_proof (Results 1 - 3 of 3) sorted by relevance
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | bitfield_gen.py | 1161 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs): function
1337 emit_named_ptr_proof("%s_ptr_get_%s" % (self.name, self.tagname), params, self.name,
1375 emit_named_ptr_proof("%s_%s_ptr_new" % (self.name, ref.name), params, self.name,
1403 emit_named_ptr_proof("%s_%s_ptr_new" % (self.name, ref.name), params, self.name,
1491 emit_named_ptr_proof("%s_%s_ptr_get_%s" % (self.name, ref.name, field),
1496 emit_named_ptr_proof("%s_%s_ptr_set_%s" % (self.name, ref.name, field),
2289 emit_named_ptr_proof("%s_ptr_new" % self.name, params, self.name,
2356 emit_named_ptr_proof("%s_ptr_get_%s" % (self.name, field), params, self.name,
2359 emit_named_ptr_proof("%s_ptr_set_%s" % (self.name, field), params, self.name,
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 1161 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs): function
1337 emit_named_ptr_proof("%s_ptr_get_%s" % (self.name, self.tagname), params, self.name,
1375 emit_named_ptr_proof("%s_%s_ptr_new" % (self.name, ref.name), params, self.name,
1403 emit_named_ptr_proof("%s_%s_ptr_new" % (self.name, ref.name), params, self.name,
1491 emit_named_ptr_proof("%s_%s_ptr_get_%s" % (self.name, ref.name, field),
1496 emit_named_ptr_proof("%s_%s_ptr_set_%s" % (self.name, ref.name, field),
2289 emit_named_ptr_proof("%s_ptr_new" % self.name, params, self.name,
2356 emit_named_ptr_proof("%s_ptr_get_%s" % (self.name, field), params, self.name,
2359 emit_named_ptr_proof("%s_ptr_set_%s" % (self.name, field), params, self.name,
|
| /seL4-mcs-10.1.1/tools/ |
| H A D | bitfield_gen.py | 1161 def emit_named_ptr_proof(fn_name, params, name, type_map, toptps, prf_prefix, substs): function
1337 emit_named_ptr_proof("%s_ptr_get_%s" % (self.name, self.tagname), params, self.name,
1375 emit_named_ptr_proof("%s_%s_ptr_new" % (self.name, ref.name), params, self.name,
1403 emit_named_ptr_proof("%s_%s_ptr_new" % (self.name, ref.name), params, self.name,
1491 emit_named_ptr_proof("%s_%s_ptr_get_%s" % (self.name, ref.name, field),
1496 emit_named_ptr_proof("%s_%s_ptr_set_%s" % (self.name, ref.name, field),
2289 emit_named_ptr_proof("%s_ptr_new" % self.name, params, self.name,
2356 emit_named_ptr_proof("%s_ptr_get_%s" % (self.name, field), params, self.name,
2359 emit_named_ptr_proof("%s_ptr_set_%s" % (self.name, field), params, self.name,
|
Completed in 47 milliseconds