Searched refs:smin (Results 1 – 3 of 3) sorted by relevance
| /linux/tools/testing/selftests/bpf/prog_tests/ |
| H A D | reg_bounds.c | 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()
|
| /linux/kernel/sched/ |
| H A D | fair.c | 1724 unsigned long smin = task_scan_min(p); in task_scan_start() local
1725 unsigned long period = smin; in task_scan_start()
1741 return max(smin, period); in task_scan_start()
1746 unsigned long smin = task_scan_min(p); in task_scan_max() local
1767 return max(smin, smax); in task_scan_max()
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 13380 s64 smin = reg->smin_value; in check_reg_sane_offset_scalar() local
13388 if (smin == S64_MIN) { in check_reg_sane_offset_scalar()
13394 if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) { in check_reg_sane_offset_scalar()
13396 smin, reg_type_str(env, type)); in check_reg_sane_offset_scalar()
13409 s64 smin = reg->smin_value; in check_reg_sane_offset_ptr() local
13417 if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) { in check_reg_sane_offset_ptr()
13419 reg_type_str(env, type), smin); in check_reg_sane_offset_ptr()
|