Searched refs:generate_stub (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 595 def generate_stub(arch, wordsize, interface_name, method_name, method_id, input_params, output_params, structs, use_only_ipc_buffer, comment, mcs): function
1022 result.append(generate_stub(arch, wordsize, interface_name, method_name,
|
| /seL4-l4v-master/seL4/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 595 def generate_stub(arch, wordsize, interface_name, method_name, method_id, input_params, output_params, structs, use_only_ipc_buffer, comment, mcs): function
1022 result.append(generate_stub(arch, wordsize, interface_name, method_name,
|
Completed in 48 milliseconds