var_off 1734 drivers/net/ethernet/netronome/nfp/bpf/jit.c lm_off += meta->arg2.reg.var_off.value + meta->arg2.reg.off; var_off 1735 drivers/net/ethernet/netronome/nfp/bpf/jit.c load_lm_ptr = meta->arg2.var_off || lm_off; var_off 2878 drivers/net/ethernet/netronome/nfp/bpf/jit.c meta->ptr.off + meta->ptr.var_off.value); var_off 2989 drivers/net/ethernet/netronome/nfp/bpf/jit.c meta->ptr.off + meta->ptr.var_off.value); var_off 251 drivers/net/ethernet/netronome/nfp/bpf/main.h bool var_off; var_off 59 drivers/net/ethernet/netronome/nfp/bpf/verifier.c if (reg2->type != SCALAR_VALUE || !tnum_is_const(reg2->var_off)) var_off 61 drivers/net/ethernet/netronome/nfp/bpf/verifier.c imm = reg2->var_off.value; var_off 74 drivers/net/ethernet/netronome/nfp/bpf/verifier.c if (meta->arg2.reg.var_off.value != imm) var_off 101 drivers/net/ethernet/netronome/nfp/bpf/verifier.c off = reg3->off + reg3->var_off.value; var_off 135 drivers/net/ethernet/netronome/nfp/bpf/verifier.c if (!tnum_is_const(reg->var_off)) { var_off 140 drivers/net/ethernet/netronome/nfp/bpf/verifier.c off = reg->var_off.value + reg->off; var_off 150 drivers/net/ethernet/netronome/nfp/bpf/verifier.c old_off = old_arg->reg.var_off.value + old_arg->reg.off; var_off 151 drivers/net/ethernet/netronome/nfp/bpf/verifier.c old_arg->var_off |= off != old_off; var_off 247 drivers/net/ethernet/netronome/nfp/bpf/verifier.c if (reg3->var_off.mask & BPF_F_INDEX_MASK || var_off 248 drivers/net/ethernet/netronome/nfp/bpf/verifier.c (reg3->var_off.value & BPF_F_INDEX_MASK) != var_off 252 drivers/net/ethernet/netronome/nfp/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg3->var_off); var_off 320 drivers/net/ethernet/netronome/nfp/bpf/verifier.c if (!(reg0->type == SCALAR_VALUE && tnum_is_const(reg0->var_off))) { var_off 323 drivers/net/ethernet/netronome/nfp/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg0->var_off); var_off 329 drivers/net/ethernet/netronome/nfp/bpf/verifier.c imm = reg0->var_off.value; var_off 353 drivers/net/ethernet/netronome/nfp/bpf/verifier.c if (!tnum_is_const(reg->var_off)) { var_off 361 drivers/net/ethernet/netronome/nfp/bpf/verifier.c old_off = meta->ptr.off + meta->ptr.var_off.value; var_off 362 drivers/net/ethernet/netronome/nfp/bpf/verifier.c new_off = reg->off + reg->var_off.value; var_off 426 drivers/net/ethernet/netronome/nfp/bpf/verifier.c if (!tnum_is_const(reg->var_off)) { var_off 431 drivers/net/ethernet/netronome/nfp/bpf/verifier.c off = reg->var_off.value + meta->insn.off + reg->off; var_off 543 drivers/net/ethernet/netronome/nfp/bpf/verifier.c sreg->var_off.value > 0xffff || sreg->var_off.mask > 0xffff; var_off 545 drivers/net/ethernet/netronome/nfp/bpf/verifier.c (sreg->var_off.value & ~sreg->var_off.mask) <= 0xffff; var_off 114 include/linux/bpf_verifier.h struct tnum var_off; var_off 452 kernel/bpf/verifier.c tnum_is_const(reg->var_off)) { var_off 454 kernel/bpf/verifier.c verbose(env, "%lld", reg->var_off.value + reg->off); var_off 469 kernel/bpf/verifier.c if (tnum_is_const(reg->var_off)) { var_off 474 kernel/bpf/verifier.c verbose(env, ",imm=%llx", reg->var_off.value); var_off 490 kernel/bpf/verifier.c if (!tnum_is_unknown(reg->var_off)) { var_off 493 kernel/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); var_off 522 kernel/bpf/verifier.c if (t == SCALAR_VALUE && tnum_is_const(reg->var_off)) var_off 523 kernel/bpf/verifier.c verbose(env, "%lld", reg->var_off.value + reg->off); var_off 864 kernel/bpf/verifier.c offsetof(struct bpf_reg_state, var_off) - sizeof(reg->type)); var_off 865 kernel/bpf/verifier.c reg->var_off = tnum_const(imm); var_off 921 kernel/bpf/verifier.c tnum_equals_const(reg->var_off, 0); var_off 929 kernel/bpf/verifier.c reg->var_off.value | (reg->var_off.mask & S64_MIN)); var_off 932 kernel/bpf/verifier.c reg->var_off.value | (reg->var_off.mask & S64_MAX)); var_off 933 kernel/bpf/verifier.c reg->umin_value = max(reg->umin_value, reg->var_off.value); var_off 935 kernel/bpf/verifier.c reg->var_off.value | reg->var_off.mask); var_off 976 kernel/bpf/verifier.c reg->var_off = tnum_intersect(reg->var_off, var_off 998 kernel/bpf/verifier.c memset(reg, 0, offsetof(struct bpf_reg_state, var_off)); var_off 1000 kernel/bpf/verifier.c reg->var_off = tnum_unknown; var_off 1209 kernel/bpf/verifier.c parent->var_off.value, parent->off); var_off 1861 kernel/bpf/verifier.c return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0); var_off 1866 kernel/bpf/verifier.c return reg->type == SCALAR_VALUE && tnum_is_const(reg->var_off); var_off 2130 kernel/bpf/verifier.c if (!tnum_is_const(reg->var_off)) { var_off 2133 kernel/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); var_off 2498 kernel/bpf/verifier.c reg_off = tnum_add(reg->var_off, tnum_const(ip_align + reg->off + off)); var_off 2502 kernel/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); var_off 2523 kernel/bpf/verifier.c reg_off = tnum_add(reg->var_off, tnum_const(reg->off + off)); var_off 2527 kernel/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); var_off 2692 kernel/bpf/verifier.c if (!tnum_is_const(reg->var_off) || reg->var_off.value) { var_off 2695 kernel/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); var_off 2713 kernel/bpf/verifier.c if (!tnum_is_const(reg->var_off) || reg->var_off.value) { var_off 2716 kernel/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); var_off 2737 kernel/bpf/verifier.c reg->var_off = tnum_cast(reg->var_off, size); var_off 2829 kernel/bpf/verifier.c off += reg->var_off.value; var_off 2951 kernel/bpf/verifier.c if (tnum_is_const(reg->var_off)) { var_off 2957 kernel/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); var_off 2992 kernel/bpf/verifier.c if (tnum_is_const(reg->var_off)) { var_off 2993 kernel/bpf/verifier.c min_off = max_off = reg->var_off.value + reg->off; var_off 3007 kernel/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); var_off 3075 kernel/bpf/verifier.c if (tnum_is_const(reg->var_off)) { var_off 3081 kernel/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); var_off 3145 kernel/bpf/verifier.c bool is_const = tnum_is_const(reg->var_off); var_off 3147 kernel/bpf/verifier.c u64 val = reg->var_off.value; var_off 3394 kernel/bpf/verifier.c if (!tnum_is_const(reg->var_off)) var_off 4201 kernel/bpf/verifier.c bool known = tnum_is_const(reg->var_off); var_off 4202 kernel/bpf/verifier.c s64 val = reg->var_off.value; var_off 4249 kernel/bpf/verifier.c off = ptr_reg->off + ptr_reg->var_off.value; var_off 4367 kernel/bpf/verifier.c bool known = tnum_is_const(off_reg->var_off); var_off 4450 kernel/bpf/verifier.c dst_reg->var_off = ptr_reg->var_off; var_off 4480 kernel/bpf/verifier.c dst_reg->var_off = tnum_add(ptr_reg->var_off, off_reg->var_off); var_off 4517 kernel/bpf/verifier.c dst_reg->var_off = ptr_reg->var_off; var_off 4544 kernel/bpf/verifier.c dst_reg->var_off = tnum_sub(ptr_reg->var_off, off_reg->var_off); var_off 4586 kernel/bpf/verifier.c dst_reg->var_off.value, 1)) { var_off 4627 kernel/bpf/verifier.c src_known = tnum_is_const(src_reg.var_off); var_off 4628 kernel/bpf/verifier.c dst_known = tnum_is_const(dst_reg->var_off); var_off 4668 kernel/bpf/verifier.c dst_reg->var_off = tnum_add(dst_reg->var_off, src_reg.var_off); var_off 4694 kernel/bpf/verifier.c dst_reg->var_off = tnum_sub(dst_reg->var_off, src_reg.var_off); var_off 4697 kernel/bpf/verifier.c dst_reg->var_off = tnum_mul(dst_reg->var_off, src_reg.var_off); var_off 4727 kernel/bpf/verifier.c __mark_reg_known(dst_reg, dst_reg->var_off.value & var_off 4728 kernel/bpf/verifier.c src_reg.var_off.value); var_off 4734 kernel/bpf/verifier.c dst_reg->var_off = tnum_and(dst_reg->var_off, src_reg.var_off); var_off 4735 kernel/bpf/verifier.c dst_reg->umin_value = dst_reg->var_off.value; var_off 4755 kernel/bpf/verifier.c __mark_reg_known(dst_reg, dst_reg->var_off.value | var_off 4756 kernel/bpf/verifier.c src_reg.var_off.value); var_off 4762 kernel/bpf/verifier.c dst_reg->var_off = tnum_or(dst_reg->var_off, src_reg.var_off); var_off 4764 kernel/bpf/verifier.c dst_reg->umax_value = dst_reg->var_off.value | var_off 4765 kernel/bpf/verifier.c dst_reg->var_off.mask; var_off 4803 kernel/bpf/verifier.c dst_reg->var_off = tnum_lshift(dst_reg->var_off, umin_val); var_off 4831 kernel/bpf/verifier.c dst_reg->var_off = tnum_rshift(dst_reg->var_off, umin_val); var_off 4857 kernel/bpf/verifier.c dst_reg->var_off = tnum_arshift(dst_reg->var_off, umin_val, var_off 5272 kernel/bpf/verifier.c if (tnum_is_const(reg->var_off)) var_off 5273 kernel/bpf/verifier.c return !!tnum_equals_const(reg->var_off, val); var_off 5276 kernel/bpf/verifier.c if (tnum_is_const(reg->var_off)) var_off 5277 kernel/bpf/verifier.c return !tnum_equals_const(reg->var_off, val); var_off 5280 kernel/bpf/verifier.c if ((~reg->var_off.mask & reg->var_off.value) & val) var_off 5282 kernel/bpf/verifier.c if (!((reg->var_off.mask | reg->var_off.value) & val)) var_off 5385 kernel/bpf/verifier.c reg->var_off = tnum_intersect(reg->var_off, t); var_off 5388 kernel/bpf/verifier.c bound += gen_hi_max(reg->var_off); var_off 5417 kernel/bpf/verifier.c reg->var_off = tnum_intersect(reg->var_off, t); var_off 5420 kernel/bpf/verifier.c bound += gen_hi_min(reg->var_off); var_off 5460 kernel/bpf/verifier.c u64 old_v = reg->var_off.value; var_off 5463 kernel/bpf/verifier.c reg->var_off.value = (old_v & hi_mask) | val; var_off 5464 kernel/bpf/verifier.c reg->var_off.mask &= hi_mask; var_off 5471 kernel/bpf/verifier.c false_reg->var_off = tnum_and(false_reg->var_off, var_off 5474 kernel/bpf/verifier.c true_reg->var_off = tnum_or(true_reg->var_off, var_off 5558 kernel/bpf/verifier.c u64 old_v = reg->var_off.value; var_off 5561 kernel/bpf/verifier.c reg->var_off.value = (old_v & hi_mask) | val; var_off 5562 kernel/bpf/verifier.c reg->var_off.mask &= hi_mask; var_off 5569 kernel/bpf/verifier.c false_reg->var_off = tnum_and(false_reg->var_off, var_off 5572 kernel/bpf/verifier.c true_reg->var_off = tnum_or(true_reg->var_off, var_off 5642 kernel/bpf/verifier.c src_reg->var_off = dst_reg->var_off = tnum_intersect(src_reg->var_off, var_off 5643 kernel/bpf/verifier.c dst_reg->var_off); var_off 5687 kernel/bpf/verifier.c !tnum_equals_const(reg->var_off, 0) || var_off 5920 kernel/bpf/verifier.c tnum_is_const(src_reg->var_off)) var_off 5921 kernel/bpf/verifier.c pred = is_branch_taken(dst_reg, src_reg->var_off.value, var_off 5967 kernel/bpf/verifier.c if (tnum_is_const(src_reg->var_off) || var_off 5968 kernel/bpf/verifier.c (is_jmp32 && tnum_is_const(src_lo->var_off))) var_off 5972 kernel/bpf/verifier.c ? src_lo->var_off.value var_off 5973 kernel/bpf/verifier.c : src_reg->var_off.value, var_off 5975 kernel/bpf/verifier.c else if (tnum_is_const(dst_reg->var_off) || var_off 5976 kernel/bpf/verifier.c (is_jmp32 && tnum_is_const(dst_lo->var_off))) var_off 5980 kernel/bpf/verifier.c ? dst_lo->var_off.value var_off 5981 kernel/bpf/verifier.c : dst_reg->var_off.value, var_off 6220 kernel/bpf/verifier.c if (!tnum_in(range, reg->var_off)) { var_off 6224 kernel/bpf/verifier.c if (!tnum_is_unknown(reg->var_off)) { var_off 6225 kernel/bpf/verifier.c tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); var_off 6236 kernel/bpf/verifier.c tnum_in(enforce_attach_type_range, reg->var_off)) var_off 6927 kernel/bpf/verifier.c tnum_in(rold->var_off, rcur->var_off); var_off 6949 kernel/bpf/verifier.c tnum_in(rold->var_off, rcur->var_off); var_off 6986 kernel/bpf/verifier.c tnum_in(rold->var_off, rcur->var_off);