780 	struct bpf_verifier_stack_elem *elem, *head = env->head;  in pop_stack()  local
795 	elem = head->next;  in pop_stack()
798 	env->head = elem;  in pop_stack()
808 	struct bpf_verifier_stack_elem *elem;  in push_stack()  local
811 	elem = kzalloc(sizeof(struct bpf_verifier_stack_elem), GFP_KERNEL);  in push_stack()
812 	if (!elem)  in push_stack()
815 	elem->insn_idx = insn_idx;  in push_stack()
816 	elem->prev_insn_idx = prev_insn_idx;  in push_stack()
817 	elem->next = env->head;  in push_stack()
818 	env->head = elem;  in push_stack()
820 	err = copy_verifier_state(&elem->st, cur);  in push_stack()
823 	elem->st.speculative |= speculative;  in push_stack()
829 	if (elem->st.parent) {  in push_stack()
830 		++elem->st.parent->branches;  in push_stack()
841 	return &elem->st;  in push_stack()