nfp/bpf/verifier.c

59 	if (reg2->type != SCALAR_VALUE || !tnum_is_const(reg2->var_off))
61 	imm = reg2->var_off.value;
74 		if (meta->arg2.reg.var_off.value != imm)
101 	off = reg3->off + reg3->var_off.value;
135 	if (!tnum_is_const(reg->var_off)) {
140 	off = reg->var_off.value + reg->off;
150 	old_off = old_arg->reg.var_off.value + old_arg->reg.off;
151 	old_arg->var_off |= off != old_off;
247 		if (reg3->var_off.mask & BPF_F_INDEX_MASK ||
248 		    (reg3->var_off.value & BPF_F_INDEX_MASK) !=
252 			tnum_strn(tn_buf, sizeof(tn_buf), reg3->var_off);
253 			pr_vlog(env, "event_output: must use BPF_F_CURRENT_CPU, var_off: %s\n",
320 	if (!(reg0->type == SCALAR_VALUE && tnum_is_const(reg0->var_off))) {
323 		tnum_strn(tn_buf, sizeof(tn_buf), reg0->var_off);
324 		pr_vlog(env, "unsupported exit state: %d, var_off: %s\n",
329 	imm = reg0->var_off.value;
353 	if (!tnum_is_const(reg->var_off)) {
361 	old_off = meta->ptr.off + meta->ptr.var_off.value;
362 	new_off = reg->off + reg->var_off.value;
426 	if (!tnum_is_const(reg->var_off)) {
431 	off = reg->var_off.value + meta->insn.off + reg->off;
548 		sreg->var_off.value > 0xffff || sreg->var_off.mask > 0xffff;
550 		(sreg->var_off.value & ~sreg->var_off.mask) <= 0xffff;