函数逻辑报告 | 
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 插件可实现:逻辑报告 代码生成和批量转换代码  |