Searched refs:header_time (Results 1 – 1 of 1) sorted by relevance
125 sreal header_time, split_time; member in split_point201 current->entry_bb->index, current->header_time.to_double (), in dump_split_point()1058 current.header_time = overall_time; in find_split_points()1107 current.header_time = overall_time - entry->overall_time; in find_split_points()