kernel/bpf/verifier.c

15778 	int *insn_stack = env->cfg.insn_stack;
15805 		insn_stack[env->cfg.cur_stack++] = w;
15954 	int *insn_stack, *insn_state;
15962 	insn_stack = env->cfg.insn_stack = kvcalloc(insn_cnt, sizeof(int), GFP_KERNEL);
15963 	if (!insn_stack) {
15969 	insn_stack[0] = 0; /* 0 is the first instruction */
15974 		int t = insn_stack[env->cfg.cur_stack - 1];
16003 		insn_stack[0] = ex_insn_beg;
16030 	kvfree(insn_stack);
16031 	env->cfg.insn_state = env->cfg.insn_stack = NULL;