Searched defs:interface_name (Results 1 – 2 of 2) 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): argument
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_stub_gen.py | 551 def generate_result_struct(interface_name, method_name, output_params): argument
595 def generate_stub(arch, wordsize, interface_name, method_name, method_id, input_params, output_para… argument
|
Completed in 5 milliseconds