Searched refs:generate_param_code (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py444 def generate_param_code(param, first_bit, num_bits, word_array, wordsize): function in function:generate_marshal_expressions
496 generate_param_code(param, first_bit, num_bits, words, wordsize)
/seL4-camkes-master/kernel/libsel4/tools/
H A Dsyscall_stub_gen.py444 def generate_param_code(param, first_bit, num_bits, word_array, wordsize): function in function:generate_marshal_expressions
496 generate_param_code(param, first_bit, num_bits, words, wordsize)

Completed in 34 milliseconds