| tag | line | file | source code |
|---|---|---|---|
| winner | 558 | fs/buffer.c | unsigned int best_time, winner; |
| winner | 647 | fs/buffer.c | winner = best_time = UINT_MAX; |
| winner | 652 | fs/buffer.c | winner = i; |
| winner | 657 | fs/buffer.c | if(winner != UINT_MAX) { |
| winner | 658 | fs/buffer.c | i = winner; |