kernel/bpf/verifier.c

784 	 * check_stack_read_fixed_off will do mark_reg_read for all 8-bytes of
791 	 * mark_reg_read won't walk reg->parent chain), but not randomly during
3014 static int mark_reg_read(struct bpf_verifier_env *env,
3080 	ret = mark_reg_read(env, &state->stack[spi].spilled_ptr,
3084 	return mark_reg_read(env, &state->stack[spi - 1].spilled_ptr,
3097 		err = mark_reg_read(env, st, st->parent, REG_LIVE_READ64);
3273 		return mark_reg_read(env, reg, reg->parent,
4809 			mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64);
4883 		mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64);
4897 		mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64);
7233 		mark_reg_read(env, &state->stack[spi].spilled_ptr,
9871 		err = mark_reg_read(env, r0, r0->parent, REG_LIVE_READ64);
10704 			mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64);
10706 			mark_reg_read(env, reg, reg->parent, REG_LIVE_READ32);
16941 	err = mark_reg_read(env, reg, parent_reg, flag);
16953  * in mark_reg_read() is for.