3753 			 struct instruction *insn, struct insn_state *statep,  in validate_insn()  argument
3768 	visited = VISITED_BRANCH << statep->uaccess;  in validate_insn()
3770 		if (!insn->hint && !insn_cfi_match(insn, &statep->cfi))  in validate_insn()
3781 	if (statep->noinstr)  in validate_insn()
3782 		statep->instr += insn->instr;  in validate_insn()
3826 		statep->cfi = *insn->cfi;  in validate_insn()
3830 		if (prev_insn && !cficmp(prev_insn->cfi, &statep->cfi)) {  in validate_insn()
3834 			insn->cfi = cfi_hash_find_or_add(&statep->cfi);  in validate_insn()
3846 			ret = validate_branch(file, func, alt->insn, *statep);  in validate_insn()
3859 	if (handle_insn_ops(insn, next_insn, statep))  in validate_insn()
3866 		return validate_return(func, insn, statep);  in validate_insn()
3875 		ret = validate_call(file, insn, statep);  in validate_insn()
3880 		    !has_valid_stack_frame(statep)) {  in validate_insn()
3891 			ret = validate_sibling_call(file, insn, statep);  in validate_insn()
3901 			ret = validate_branch(file, func, insn->jump_dest, *statep);  in validate_insn()
3918 			ret = validate_sibling_call(file, insn, statep);  in validate_insn()
3951 		if (statep->uaccess) {  in validate_insn()
3956 		statep->uaccess = true;  in validate_insn()
3964 		if (!statep->uaccess && func) {  in validate_insn()
3969 		if (func_uaccess_safe(func) && !statep->uaccess_stack) {  in validate_insn()
3974 		statep->uaccess = false;  in validate_insn()
3979 		if (statep->df) {  in validate_insn()
3984 		statep->df = true;  in validate_insn()
3989 		if (!statep->df && func) {  in validate_insn()
3994 		statep->df = false;  in validate_insn()