Searched refs:get_parameter_positions (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py390 def get_parameter_positions(parameters, wordsize): function
491 positions = get_parameter_positions(params, wordsize)
538 positions = get_parameter_positions(params, wordsize)
/seL4-l4v-master/seL4/libsel4/tools/
H A Dsyscall_stub_gen.py390 def get_parameter_positions(parameters, wordsize): function
491 positions = get_parameter_positions(params, wordsize)
538 positions = get_parameter_positions(params, wordsize)

Completed in 70 milliseconds