clear_jmp_history  691 kernel/bpf/verifier.c 	clear_jmp_history(state);
clear_jmp_history 7476 kernel/bpf/verifier.c 	clear_jmp_history(cur);