Searched refs:smin (Results 1 – 3 of 3) sorted by relevance
| /linux/tools/testing/selftests/bpf/prog_tests/ |
| H A D | reg_bounds.c | 448 * sub-ranges: [0, smin] and [smax, -1].
452 * ((x ∩ [smin,-1]) ∩ (y ∩ [smin,-1]))
460 u64 smax, smin, neg_one; in range_refine_in_halves() local
464 smin = (u64)(u32)S32_MIN; in range_refine_in_halves()
468 smin = (u64)S64_MIN; in range_refine_in_halves()
472 x_neg = range_intersection(x_t, x, range(x_t, smin, neg_one)); in range_refine_in_halves()
474 y_neg = range_intersection(y_t, y, range(y_t, smin, neg_one)); in range_refine_in_halves()
912 * comparisons (i.e., initialize umin/umax or smin/smax directly) in load_range_cmp_prog()
1107 * - smin in parse_reg_state()
[all...] |
| /linux/kernel/sched/ |
| H A D | fair.c | 1695 unsigned long smin = task_scan_min(p); in task_faults()
1696 unsigned long period = smin; in task_faults()
1712 return max(smin, period); in group_faults()
1717 unsigned long smin = task_scan_min(p); in group_faults_cpu()
1738 return max(smin, smax); in group_faults_shared()
1603 unsigned long smin = task_scan_min(p); task_scan_start() local
1625 unsigned long smin = task_scan_min(p); task_scan_max() local
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 294 verbose(env, " smin=%lld", reg->smin_value);
2187 * So we use these facts to derive umin/umax from smin/smax and vice in ___mark_reg_known()
2191 * casting umin/umax as smin/smax and checking if they form valid
13365 s64 smin = reg->smin_value; in check_kfunc_args()
13373 if (smin == S64_MIN) { in check_kfunc_args()
13379 if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) { in check_kfunc_args()
13381 smin, reg_type_str(env, type)); in check_kfunc_args()
13394 s64 smin = reg->smin_value; in check_kfunc_args()
13402 if (smin > in check_kfunc_args()
14511 s64 smin = reg->smin_value; check_reg_sane_offset() local
[all...] |