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

/seL4-mcs-10.1.1/libsel4/tools/
H A Dsyscall_stub_gen.py127 def render_parameter_name(self, name): member in class:Type
168 def render_parameter_name(self, name): member in class:PointerType
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))
561 result.append("\t%s;" % i.type.render_parameter_name(i.name))
/seL4-mcs-10.1.1/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py127 def render_parameter_name(self, name): member in class:Type
168 def render_parameter_name(self, name): member in class:PointerType
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))
561 result.append("\t%s;" % i.type.render_parameter_name(i.name))

Completed in 79 milliseconds