kernel/bpf/verifier.c

3315 static int insn_stack_access_spi(int insn_flags)
3317 	return (insn_flags >> INSN_F_SPI_SHIFT) & INSN_F_SPI_MASK;
3320 static int insn_stack_access_frameno(int insn_flags)
3322 	return insn_flags & INSN_F_FRAMENO_MASK;
3337 			    int insn_flags)
3345 		/* atomic instructions push insn_flags twice, for READ and
3348 		WARN_ONCE((env->cur_hist_ent->flags & insn_flags) &&
3349 			  (env->cur_hist_ent->flags & insn_flags) != insn_flags,
3351 			  env->insn_idx, env->cur_hist_ent->flags, insn_flags);
3352 		env->cur_hist_ent->flags |= insn_flags;
3366 	p->flags = insn_flags;
4503 	int insn_flags = insn_stack_access_flags(state->frameno, spi);
4608 		insn_flags = 0; /* not a register spill */
4611 	if (insn_flags)
4612 		return push_jmp_history(env, env->cur_state, insn_flags);
4803 	int insn_flags = insn_stack_access_flags(reg_state->frameno, spi);
4867 					/* this IS register fill, so keep insn_flags */
4871 					insn_flags = 0; /* not restoring original register state */
4874 					insn_flags = 0; /* not restoring original register state */
4914 		insn_flags = 0; /* we are not restoring spilled register */
4916 	if (insn_flags)
4917 		return push_jmp_history(env, env->cur_state, insn_flags);