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

/seL4-test-master/kernel/tools/
H A Dumm.py104 def build_types(file): function
120 mp = build_types(filename)
H A Dbitfield_gen.py2834 tps = umm.build_types(options.umm_types_file)
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py2834 tps = umm.build_types(options.umm_types_file)
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py2834 tps = umm.build_types(options.umm_types_file)

Completed in 47 milliseconds