Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c2046 if (umin_in_tnum && tnum_next > reg_umax(reg)) { in __update_reg64_bounds()
2059 } else if (!umin_in_tnum && tnum_next <= reg_umax(reg) && in __update_reg64_bounds()
2060 tnum_step(reg->var_off, tnum_next) > reg_umax(reg)) { in __update_reg64_bounds()
2097 reg_umax(reg))); in __reg_bound_offset()
3464 return fls64(reg_umax(reg)); in get_reg_width()
4387 if (reg_umax(reg) >= BPF_MAX_VAR_OFF) { in check_mem_region_access()
4394 reg_umax(reg), BPF_MAX_VAR_OFF); in check_mem_region_access()
4398 err = __check_mem_access(env, reg, argno, reg_umax(reg) + off, size, in check_mem_region_access()
4404 max_start = (s64)reg_umax(reg) + off; in check_mem_region_access()
4749 p < reg_umax(reg) + off + size) { in check_map_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.h184 static inline u64 reg_umax(const struct bpf_reg_state *reg) in reg_umax() function