如何创建自定义kfunc并传递eBPF map指针？遇验证器报错求助

可以将BPF Map的指针传递给自定义kfunc，但需要正确为kfunc参数添加BTF类型注释，让验证器识别指针的具体类型，避免标记为UNKNOWN。

问题根源 #

你的kfunc参数使用了void*，BPF验证器无法推断出指针指向的具体类型，因此抛出类型UNKNOWN的错误。必须通过BTF类型标注明确告诉验证器指针的实际类型。

修复步骤 #

1. 修改内核模块中的kfunc定义，为void*参数添加BTF类型注释，明确指向字节数组（对应BPF程序中的char[]）：

   __bpf_kfunc void *my_kfunc_memcpy(void *dst __bpf_kfunc_arg(btf_id="char"), 
                                    void *src __bpf_kfunc_arg(btf_id="char"), 
                                    __u32 src__sz)
   {
       return memcpy(dst, src, src__sz);
   }
   

   这里__bpf_kfunc_arg(btf_id="char")指定指针指向char类型，与你传递的it->data、d->data类型匹配，验证器就能正确识别指针类型。

2. 编译检查：确保编译内核模块时开启了CONFIG_DEBUG_INFO_BTF（6.8版本内核默认已支持），否则BTF信息无法生成，注释无法生效。

3. 重新编译加载：重新编译内核模块和BPF程序，再次加载即可通过验证器检查。

额外说明 #

• 若kfunc需要处理结构体指针，可将btf_id指定为结构体名称，例如__bpf_kfunc_arg(btf_id="struct item")。
• 通用内存拷贝场景也可结合访问权限注释，比如给dst添加__bpf_kfunc_arg(access=write)，给src添加access=read，进一步明确指针的读写属性，提升验证安全性。

内容的提问来源于stack exchange，提问作者Farbod Shahinfar