taglinefilesource code
UINT_MAX614fs/buffer.cwinner = best_time = UINT_MAX;  
UINT_MAX624fs/buffer.cif(winner != UINT_MAX) {
UINT_MAX1692fs/hpfs/hpfs_fs.cqbh->bh[0] = bh = breada(dev, secno, 512, 0, UINT_MAX);