Searched refs:generate_param_code (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 444 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 D | syscall_stub_gen.py | 444 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 28 milliseconds