tag	line	file	source code
winner	594	fs/buffer.c	unsigned int best_time, winner;
winner	683	fs/buffer.c	winner = best_time = UINT_MAX;
winner	688	fs/buffer.c	winner = i;
winner	693	fs/buffer.c	if(winner != UINT_MAX) {
winner	694	fs/buffer.c	i = winner;