Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c564 if (!tnum_is_const(reg->var_off)) { in stack_slot_obj_get_spi()
569 off = reg->var_off.value; in stack_slot_obj_get_spi()
880 * CONST_PTR_TO_DYNPTR already has fixed and var_off as 0 due to in is_dynptr_reg_valid_init()
1852 reg->var_off = tnum_const(imm); in ___mark_reg_known()
1864 offsetof(struct bpf_reg_state, var_off) - sizeof(reg->type)); in __mark_reg_known()
1873 reg->var_off = tnum_const_subreg(reg->var_off, imm); in __mark_reg32_known()
1986 tnum_equals_const(reg->var_off, 0); in reg_is_init_pkt_pointer()
2009 reg->var_off = tnum_unknown; in reset_reg64_and_tnum()
2015 reg->var_off in reset_reg32_and_tnum()
4091 bool var_off = !tnum_is_const(reg->var_off); check_stack_read() local
[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.c607 return range_within(rold, rcur) && tnum_in(rold->var_off, rcur->var_off); in regsafe()
616 return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 && in regsafe()
618 tnum_in(rold->var_off, rcur->var_off) && in regsafe()
645 tnum_in(rold->var_off, rcur->var_off); in regsafe()
651 return memcmp(rold, rcur, offsetof(struct bpf_reg_state, var_off)) == 0 && in regsafe()
652 range_within(rold, rcur) && tnum_in(rold->var_off, rcur->var_off); in regsafe()
1346 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.h119 struct tnum var_off; member
1283 return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0); in bpf_register_is_null()