Searched refs:umm (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py27 import umm namespace
2831 return umm.is_base(tp) & (umm.base_name(tp) in
2834 tps = umm.build_types(options.umm_types_file)
2839 paths = umm.paths_to_type(tps, is_bit_type, toptp)
2842 tp = umm.base_name(tp)
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py27 import umm namespace
2831 return umm.is_base(tp) & (umm.base_name(tp) in
2834 tps = umm.build_types(options.umm_types_file)
2839 paths = umm.paths_to_type(tps, is_bit_type, toptp)
2842 tp = umm.base_name(tp)
/seL4-test-master/kernel/tools/
H A Dbitfield_gen.py27 import umm namespace
2831 return umm.is_base(tp) & (umm.base_name(tp) in
2834 tps = umm.build_types(options.umm_types_file)
2839 paths = umm.paths_to_type(tps, is_bit_type, toptp)
2842 tp = umm.base_name(tp)

Completed in 37 milliseconds