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;