Searched refs:table_time_cost (Results 1 – 8 of 8) sorted by relevance
1712 size_t table_time_cost = 3; in VisitSwitch() local1716 table_space_cost + 3 * table_time_cost <= in VisitSwitch()
1540 size_t table_time_cost = 3; in VisitSwitch() local1544 table_space_cost + 3 * table_time_cost <= in VisitSwitch()
2038 size_t table_time_cost = 3; in VisitSwitch() local2042 table_space_cost + 3 * table_time_cost <= in VisitSwitch()
2020 size_t table_time_cost = 3; in VisitSwitch() local2024 table_space_cost + 3 * table_time_cost <= in VisitSwitch()
1485 size_t table_time_cost = 3; in VisitSwitch() local1489 table_space_cost + 3 * table_time_cost <= in VisitSwitch()
1923 size_t table_time_cost = 3; in VisitSwitch() local1927 table_space_cost + 3 * table_time_cost <= in VisitSwitch()
2153 size_t table_time_cost = 3; in VisitSwitch() local2157 table_space_cost + 3 * table_time_cost <= in VisitSwitch()
2448 size_t table_time_cost = 3; in VisitSwitch() local2452 table_space_cost + 3 * table_time_cost <= in VisitSwitch()