Home
last modified time | relevance | path

Searched refs:render_parameter_name (Results 1 – 1 of 1) sorted by relevance

/seL4-master/libsel4/tools/
A Dsyscall_stub_gen.py123 def render_parameter_name(self, name): member in Type
165 def render_parameter_name(self, name): member in PointerType
426 params.append(param.type.render_parameter_name(param.name))
428 params.append(param.type.pointer().render_parameter_name(param.name))
431 params.append(param.type.pointer().render_parameter_name(param.name))
586 result.append("\t%s;" % i.type.render_parameter_name(i.name))

Completed in 6 milliseconds