Searched refs:generate_marshal_expressions (Results 1 - 2 of 2) sorted by relevance
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 415 def generate_marshal_expressions(params, num_mrs, structs, wordsize): function
615 input_expressions = generate_marshal_expressions(standard_params, num_mrs,
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 415 def generate_marshal_expressions(params, num_mrs, structs, wordsize): function
615 input_expressions = generate_marshal_expressions(standard_params, num_mrs,
|
Completed in 37 milliseconds