tag	line	file	source code
winner	496	fs/buffer.c	unsigned int best_time, winner;
winner	585	fs/buffer.c	winner = best_time = UINT_MAX;
winner	590	fs/buffer.c	winner = i;
winner	595	fs/buffer.c	if(winner != UINT_MAX) {
winner	596	fs/buffer.c	i = winner;