Symbol: id_type
headers/private/kernel/thread_types.h
212
typedef IDType id_type;
src/system/kernel/TeamThreadTables.h
18
typedef typename Element::id_type id_type;