Searched defs:input_params (Results 1 – 1 of 1) sorted by relevance

/seL4-master/libsel4/tools/
A D	syscall_stub_gen.py	421 def generate_param_list(input_params, output_params): argument 595 def generate_stub(arch, wordsize, interface_name, method_name, method_id, input_params, output_para… argument

Completed in 6 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023