if self.need_handler:
res.append(' simcall_HANDLER_%s(%s);' % (self.name,
', '.join(["&SIMIX_process_self()->simcall_"] + [arg.name for arg in self.args])))
else:
res.append(' SIMIX_%s(%s);' % (self.name,
', '.join(arg.name for arg in self.args)))
if self.need_handler:
res.append(' simcall_HANDLER_%s(%s);' % (self.name,
', '.join(["&SIMIX_process_self()->simcall_"] + [arg.name for arg in self.args])))
else:
res.append(' SIMIX_%s(%s);' % (self.name,
', '.join(arg.name for arg in self.args)))