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