Searched refs:generate_prototype (Results 1 – 1 of 1) sorted by relevance
| /seL4-master/manual/tools/ | ||
| A D | gen_invocations.py | 39 def generate_prototype(interface_name, method_name, method_id, inputs, outputs, comment): function |
Completed in 3 milliseconds