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