246 	cycles_t time1, time2, time;  in basic_check()  local
253 	time1 = get_cycles();  in basic_check()
263 	time = time2 - time1;  in basic_check()
269 	time1 = get_cycles();  in basic_check()
279 	time = time2 - time1;  in basic_check()
288 	time1 = get_cycles();  in basic_check()
296 	time = time2 - time1;  in basic_check()
302 	time1 = get_cycles();  in basic_check()
308 	time = time2 - time1;  in basic_check()
314 	time1 = get_cycles();  in basic_check()
320 	time = time2 - time1;  in basic_check()
348 	cycles_t time1, time2, time;  in augmented_check()  local
354 	time1 = get_cycles();  in augmented_check()
364 	time = time2 - time1;  in augmented_check()
369 	time1 = get_cycles();  in augmented_check()
379 	time = time2 - time1;  in augmented_check()