Searched refs:generate_marshal_expressions (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 436 def generate_marshal_expressions(params, num_mrs, structs, wordsize): function
644 input_expressions = generate_marshal_expressions(standard_params, num_mrs,
|
| /seL4-camkes-master/kernel/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 436 def generate_marshal_expressions(params, num_mrs, structs, wordsize): function
644 input_expressions = generate_marshal_expressions(standard_params, num_mrs,
|
Completed in 25 milliseconds