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

/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py2761 name_list = [] variable
2763 name_list += e.make_names()
2765 name_list = set(name_list) variable
2775 pruned_names.update(matched_tokens & name_list)
2777 pruned_names = name_list
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py2761 name_list = [] variable
2763 name_list += e.make_names()
2765 name_list = set(name_list) variable
2775 pruned_names.update(matched_tokens & name_list)
2777 pruned_names = name_list
/seL4-test-master/kernel/tools/
H A Dbitfield_gen.py2761 name_list = [] variable
2763 name_list += e.make_names()
2765 name_list = set(name_list) variable
2775 pruned_names.update(matched_tokens & name_list)
2777 pruned_names = name_list

Completed in 35 milliseconds