135 void write_file(unsigned int end_time, int random_access)  in write_file()  argument
154 		while(time(NULL) < end_time) {  in write_file()
159 		while(time(NULL) < end_time)  in write_file()
167 void verify_file(unsigned int end_time, int random_access, int direct)  in verify_file()  argument
198 		while(time(NULL) < end_time) {  in verify_file()
205 		while(time(NULL) < end_time)  in verify_file()
247 	time_t start_time, end_time;  in main()  local
354 	end_time = time(NULL) + seconds;  in main()
358 		write_file(end_time, 0);  in main()
362 		write_file(end_time, 1);  in main()
365 	verify_file(end_time, 0, 0);  in main()
366 	verify_file(end_time, 0, 1);  in main()
367 	verify_file(end_time, 1, 0);  in main()
368 	verify_file(end_time, 1, 1);  in main()