函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-27 14:20:35
Last Modify:2022-05-19 20:02:10 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：print_verification_stats

函数原型：static void print_verification_stats(struct bpf_verifier_env *env)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_env *env
9496  如果level按位与BPF_LOG_STATS则
9497  verbose(env, "verification time %lld usec\n", div_u64 - unsigned 64bit divide with 32bit divisor*@dividend: unsigned 64bit dividend*@divisor: unsigned 32bit divisor* This is the most common 64bit divide and should be used if possible,* as many 32bit archs can optimize this variant better than a full )
9499  verbose(env, "stack depth ")
9500  以i小于subprog_cnt循环
9501  depth等于 max. stack depth used by this function
9503  verbose(env, "%d", depth)
9504  如果i加1小于subprog_cnt则verbose(env, "+")
9507  verbose(env, "\n")
9509  verbose(env, "processed %d insns (limit %d) max_states_per_insn %d total_states %d peak_states %d mark_read %d\n", umber of instructions analyzed by the verifier , yes. 1M insns , maximum number of verifier states kept in 'branching' instructions , al number of allocated verifier states , some states are freed during program analysis.* this is peak number of states. this number dominates kernel* memory consumption during verification, longest register parentage chain walked for liveness marking )
调用者
名称描述
bpf_check