函数逻辑报告 |
Source Code:kernel\bpf\syscall.c |
Create Date:2022-07-27 14:04:40 |
Last Modify:2022-05-19 18:06:12 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:map_check_btf
函数原型:static int map_check_btf(struct bpf_map *map, const struct btf *btf, u32 btf_key_id, u32 btf_value_id)
返回类型:int
参数:
类型 | 参数 | 名称 |
---|---|---|
struct bpf_map * | map | |
const struct btf * | btf | |
u32 | btf_key_id | |
u32 | btf_value_id |
588 | ret等于0 |
591 | 如果btf_key_id则 |
592 | key_type等于btf_type_id_size(btf, & btf_key_id, & key_size) |
595 | 否则 |
596 | key_type等于btf_type_by_id(btf, 0) |
597 | 如果非map_check_btf则返回:负EINVAL |
601 | value_type等于btf_type_id_size(btf, & btf_value_id, & value_size) |
602 | 如果非value_type或value_size不等于value_size则返回:负EINVAL |
607 | 如果map_value_has_spin_lock(map)则 |
610 | 如果map_type不等于BPF_MAP_TYPE_HASH且map_type不等于BPF_MAP_TYPE_ARRAY且map_type不等于BPF_MAP_TYPE_CGROUP_STORAGE且map_type不等于BPF_MAP_TYPE_SK_STORAGE则返回:负Operation is not supported |
615 | 如果 >=0 valid offset, <0 error 加sizeof(structbpf_spin_lock)大于value_size则 |
617 | WARN_ONCE(1, "verifier bug spin_lock_off %d value_size %d\n", >=0 valid offset, <0 error , value_size) |
620 | 返回:负EFAULT |
624 | 如果map_check_btf则ret等于map_check_btf(map, btf, key_type, value_type) |
627 | 返回:ret |
名称 | 描述 |
---|---|
map_create | alled via syscall |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |