Searched refs:generate_marshal_expressions (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/seL4/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-l4v-master/seL4/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 84 milliseconds