| tag | line | file | source code |
|---|---|---|---|
| winner | 588 | fs/buffer.c | unsigned int best_time, winner; |
| winner | 677 | fs/buffer.c | winner = best_time = UINT_MAX; |
| winner | 682 | fs/buffer.c | winner = i; |
| winner | 687 | fs/buffer.c | if(winner != UINT_MAX) { |
| winner | 688 | fs/buffer.c | i = winner; |