Home
last modified time | relevance | path

Searched refs:var_off (Results 1 – 6 of 6) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c555 if (!tnum_is_const(reg->var_off)) { in stack_slot_obj_get_spi()
560 off = reg->var_off.value; in stack_slot_obj_get_spi()
1843 reg->var_off = tnum_const(imm); in ___mark_reg_known()
1855 offsetof(struct bpf_reg_state, var_off) - sizeof(reg->type)); in __mark_reg_known()
1863 reg->var_off = tnum_const_subreg(reg->var_off, imm); in __mark_reg32_known()
1975 tnum_equals_const(reg->var_off, 0); in reg_is_init_pkt_pointer()
1998 reg->var_off = tnum_unknown; in reset_reg64_and_tnum()
2004 reg->var_off = tnum_unknown; in reset_reg32_and_tnum()
2032 cnum32_intersect_with(&reg->r32, cnum32_from_tnum(reg->var_off)); in __update_reg32_bounds()
2040 cnum64_intersect_with(&reg->r64, cnum64_from_tnum(reg->var_off)); in __update_reg64_bounds()
[all …]
H A Dlog.c634 if (t == SCALAR_VALUE && tnum_is_const(reg->var_off)) { in print_reg_state()
635 verbose_snum(env, reg->var_off.value); in print_reg_state()
645 if (tnum_is_const(reg->var_off)) { in print_reg_state()
646 verbose_snum(env, reg->var_off.value + reg->delta); in print_reg_state()
682 if (tnum_is_const(reg->var_off)) { in print_reg_state()
684 if (reg->var_off.value) { in print_reg_state()
686 verbose_snum(env, reg->var_off.value); in print_reg_state()
690 if (!tnum_is_unknown(reg->var_off)) { in print_reg_state()
693 tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); in print_reg_state()
H A Dstates.c609 return range_within(rold, rcur) && tnum_in(rold->var_off, rcur->var_off); in regsafe()
618 return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 && in regsafe()
620 tnum_in(rold->var_off, rcur->var_off) && in regsafe()
643 tnum_in(rold->var_off, rcur->var_off); in regsafe()
652 return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 && in regsafe()
653 range_within(rold, rcur) && tnum_in(rold->var_off, rcur->var_off); in regsafe()
1347 spi = bpf_get_spi(iter_reg->var_off.value); in bpf_is_state_visited()
H A Ddiagnostics.c109 struct tnum var_off; member
1451 snapshot->var_off = reg->var_off; in diag_snapshot_reg()
1909 return tnum_is_unknown(snapshot->var_off) && diag_cnum64_unknown(snapshot->r64); in diag_snapshot_unknown()
1935 if (tnum_is_const(reg->var_off)) in diag_access_offset()
1937 bpf_diag_fmt_s64_sum(env, (s64)reg->var_off.value, off)); in diag_access_offset()
1939 if (tnum_is_unknown(reg->var_off) && diag_cnum64_unknown(reg->r64)) in diag_access_offset()
1945 (u64)reg->var_off.value, reg->var_off.mask, off, in diag_access_offset()
1948 (u64)reg->var_off.value, reg->var_off.mask, in diag_access_offset()
2078 if (tnum_is_const(snapshot->var_off)) in diag_var_offset()
2079 return bpf_diag_fmt(env, "at offset %lld", (s64)snapshot->var_off.value); in diag_var_offset()
[all …]
/linux/drivers/net/ethernet/netronome/nfp/bpf/
H A Dmain.h251 bool var_off; member
/linux/include/linux/
H A Dbpf_verifier.h117 struct tnum var_off; member
1260 return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0); in bpf_register_is_null()