函数逻辑报告

函数名称：mpare two verifier states* all states stored in state_list are known to be valid, since* verifier reached 'bpf_exit' instruction through them* this function is called when verifier exploring different branches of* execution popped from the state stack

函数原型：static bool func_states_equal(struct bpf_func_state *old, struct bpf_func_state *cur)

返回类型：bool

参数：