Home
last modified time | relevance | path

Searched refs:reg_umax (Results 1 – 3 of 3) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c2057 if (umin_in_tnum && tnum_next > reg_umax(reg)) { in __update_reg64_bounds()
2070 } else if (!umin_in_tnum && tnum_next <= reg_umax(reg) && in __update_reg64_bounds()
2071 tnum_step(reg->var_off, tnum_next) > reg_umax(reg)) { in __update_reg64_bounds()
2108 reg_umax(reg))); in __reg_bound_offset()
3478 return fls64(reg_umax(reg)); in get_reg_width()
4408 * If reg_umax(reg) + off could overflow, treat that as unbounded too. in check_mem_region_access()
4410 if (reg_umax(reg) >= BPF_MAX_VAR_OFF) { in check_mem_region_access()
4417 reg_umax(reg), BPF_MAX_VAR_OFF); in check_mem_region_access()
4421 err = __check_mem_access(env, reg, argno, reg_umax(reg) + off, size, in check_mem_region_access()
4427 max_start = (s64)reg_umax(re in check_mem_region_access()
[all...]
H A Dlog.c577 {"umax", reg_umax(reg), reg_umax(reg) == U64_MAX}, in print_scalar_ranges()
/linux/include/linux/
H A Dbpf_verifier.h185 static inline u64 reg_umax(const struct bpf_reg_state *reg) in reg_umax() function