Searched refs:TheMark (Results 1 – 1 of 1) sorted by relevance
240 isl::id TheMark = Mark.mark_get_id(); in visitMark() local246 return NewChild.insert_mark(TheMark).get_schedule(); in visitMark()