verification_time  382 include/linux/bpf_verifier.h 	u64 verification_time;
verification_time 9275 kernel/bpf/verifier.c 			div_u64(env->verification_time, 1000));
verification_time 9433 kernel/bpf/verifier.c 	env->verification_time = ktime_get_ns() - start_time;