Searched refs:tps (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/tools/
H A Dumm.py16 def parse_type(tps):
17 def helper(tps):
18 tp = tps[0]
19 rest = tps[1:]
39 return helper(tps)[0]
H A Dbitfield_gen.py2834 tps = umm.build_types(options.umm_types_file) variable
2839 paths = umm.paths_to_type(tps, is_bit_type, toptp)
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py2834 tps = umm.build_types(options.umm_types_file) variable
2839 paths = umm.paths_to_type(tps, is_bit_type, toptp)
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py2834 tps = umm.build_types(options.umm_types_file) variable
2839 paths = umm.paths_to_type(tps, is_bit_type, toptp)

Completed in 37 milliseconds