Lines Matching refs:seeks
566 args->seeks = atoi(optarg); in fill_cld_args()
569 args->seeks <<= 10; in fill_cld_args()
571 args->seeks *= 1000; in fill_cld_args()
573 args->seeks <<= 20; in fill_cld_args()
575 args->seeks *= 1000000; in fill_cld_args()
577 args->seeks <<= 30; in fill_cld_args()
579 args->seeks *= 1000000000; in fill_cld_args()
937 args->seeks = SEEKS; in make_assumptions()
939 args->seeks = args->stop_blk - args->start_blk + 1; in make_assumptions()
942 args->seeks = in make_assumptions()
948 args->seeks *= 2; in make_assumptions()
952 sprintf(TmpStr, L_ASSUME, args->seeks); in make_assumptions()
1034 if ((args->flags & CLD_FLG_TMD) == 0 && (args->seeks <= 0)) { in check_conclusions()
1035 pMsg(WARN, args, TSEEK, args->seeks); in check_conclusions()
1038 if ((args->flags & CLD_FLG_SKS) && (args->t_kids > args->seeks)) { in check_conclusions()