Searched refs:unmarshal_single_param (Results 1 - 2 of 2) sorted by relevance
| /seL4-mcs-10.1.1/libsel4/tools/ | ||
| H A D | syscall_stub_gen.py | 490 def unmarshal_single_param(first_bit, num_bits, wordsize): function in function:generate_unmarshal_expressions 520 results.append((param, unmarshal_single_param(first_bit, num_bits, wordsize))) |
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ | ||
| H A D | syscall_stub_gen.py | 490 def unmarshal_single_param(first_bit, num_bits, wordsize): function in function:generate_unmarshal_expressions 520 results.append((param, unmarshal_single_param(first_bit, num_bits, wordsize))) |
Completed in 86 milliseconds