Searched refs:generate_result_struct (Results 1 - 3 of 3) sorted by relevance
| /seL4-camkes-master/kernel/manual/tools/ |
| H A D | gen_invocations.py | 45 if syscall_stub_gen.generate_result_struct(interface_name, method_name, outputs):
|
| /seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 551 def generate_result_struct(interface_name, method_name, output_params): function
617 results_structure = generate_result_struct(interface_name, method_name, output_params)
1009 results_structure = generate_result_struct(interface_name, method_name, output_params)
|
| /seL4-camkes-master/kernel/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 551 def generate_result_struct(interface_name, method_name, output_params): function
617 results_structure = generate_result_struct(interface_name, method_name, output_params)
1009 results_structure = generate_result_struct(interface_name, method_name, output_params)
|
Completed in 92 milliseconds