Searched refs:generate_result_struct (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/seL4/manual/tools/ |
H A D | gen_invocations.py | 45 if syscall_stub_gen.generate_result_struct(interface_name, method_name, outputs):
|
/seL4-l4v-master/seL4/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-l4v-master/seL4/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 164 milliseconds