Searched refs:generate_param_list (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/manual/tools/
H A Dgen_invocations.py50 param_list = syscall_stub_gen.generate_param_list(inputs, outputs)
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py421 def generate_param_list(input_params, output_params): function
638 generate_param_list(input_params, output_params)))
/seL4-l4v-master/seL4/libsel4/tools/
H A Dsyscall_stub_gen.py421 def generate_param_list(input_params, output_params): function
638 generate_param_list(input_params, output_params)))

Completed in 44 milliseconds