Searched defs:stolen_type (Results 1 – 1 of 1) sorted by relevance
497 char stolen_type = pset_id_to_core_type_char(stolen_from_pset); in foreign_steal_expect() local517 char stolen_type = pset_id_to_core_type_char(stolen_from_pset); in work_steal_expect() local