Searched refs:smin (Results 1 – 4 of 4) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 210 static inline void reg_set_srange32(struct bpf_reg_state *reg, s32 smin, s32 smax) in reg_set_srange32() argument
212 reg->r32 = cnum32_from_srange(smin, smax); in reg_set_srange32()
220 static inline void reg_set_srange64(struct bpf_reg_state *reg, s64 smin, s64 smax) in reg_set_srange64() argument
222 reg->r64 = cnum64_from_srange(smin, smax); in reg_set_srange64()
|
| /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()
947 * comparisons (i.e., initialize umin/umax or smin/smax directly) in load_range_cmp_prog()
1142 * - smin in parse_reg_state()
[all...] |
| /linux/kernel/bpf/ |
| H A D | verifier.c | 335 verbose(env, " smin=%lld", reg_smin(reg)); in verbose_invalid_scalar()
14215 s64 smin = reg_smin(reg); in check_reg_sane_offset_scalar() local
14223 if (smin == S64_MIN) { in check_reg_sane_offset_scalar()
14229 if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) { in check_reg_sane_offset_scalar()
14231 smin, reg_type_str(env, type)); in check_reg_sane_offset_scalar()
14244 s64 smin = reg_smin(reg); in check_reg_sane_offset_ptr() local
14252 if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) { in check_reg_sane_offset_ptr()
14254 reg_type_str(env, type), smin); in check_reg_sane_offset_ptr()
14877 s32 smin = reg_s32_min(dst_reg); scalar32_min_max_mul() local
14908 s64 smin = reg_smin(dst_reg); scalar_min_max_mul() local
14963 s32 smin = reg_s32_min(dst_reg); scalar32_min_max_sdiv() local
14999 s64 smin = reg_smin(dst_reg); scalar_min_max_sdiv() local
[all...] |
| /linux/kernel/sched/ |
| H A D | fair.c | 2541 unsigned long smin = task_scan_min(p); in score_nearby_nodes()
2542 unsigned long period = smin; in score_nearby_nodes()
2558 return max(smin, period); in score_nearby_nodes()
2563 unsigned long smin = task_scan_min(p); in score_nearby_nodes()
2584 return max(smin, smax); in task_weight()
2350 unsigned long smin = task_scan_min(p); task_scan_start() local
2372 unsigned long smin = task_scan_min(p); task_scan_max() local
|