Searched refs:paths_to_type (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/kernel/tools/ |
| H A D | umm.py | 82 def paths_to_type(mp, f, start): function
88 res = paths_to_type(mp, f, base_name(tp))
|
| H A D | bitfield_gen.py | 2839 paths = umm.paths_to_type(tps, is_bit_type, toptp)
|
| /seL4-test-master/kernel/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 2839 paths = umm.paths_to_type(tps, is_bit_type, toptp)
|
| /seL4-test-master/kernel/libsel4/tools/ |
| H A D | bitfield_gen.py | 2839 paths = umm.paths_to_type(tps, is_bit_type, toptp)
|
Completed in 44 milliseconds