Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/bpf/const_fold.c const_reg_xfer() -> bpf_map_direct_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->frozen | 1 |
| PARAM_VALUE | 0 | map->map_flags | 128-u32max |
| PARAM_VALUE | 0 | map->map_type | 0-33,35-u32max |
| PARAM_VALUE | 0 | map->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | map->ops->map_direct_value_addr | 8450031166678994944,8623194018121613312,8907966814383271936 |
| PARAM_VALUE | 0 | map->writecnt.counter | 0 |
| PARAM_VALUE | 1 | off | 0-s32max |
| PARAM_VALUE | 2 | size | (-22),1-2,4,8 |
| PARAM_VALUE | 3 | val | 1650520266196463616 |
| PARAM_VALUE | 3 | *val | 0 |
| FUZZY_MAX | 1 | off | 0 |
| UNITS | 1 | off | unit_byte |
| UNITS | 2 | size | unit_byte |
kernel/bpf/verifier.c check_mem_access() -> bpf_map_direct_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->frozen | 1 |
| PARAM_VALUE | 0 | map->map_flags | 128-u32max |
| PARAM_VALUE | 0 | map->map_type | 0-33,35-u32max |
| PARAM_VALUE | 0 | map->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | map->ops->map_direct_value_addr | 8450031166678994944,8623194018121613312,8907966814383271936 |
| PARAM_VALUE | 0 | map->writecnt.counter | 0 |
| PARAM_VALUE | 2 | size | 1-2,4,8 |
| PARAM_VALUE | 3 | val | 5588601421637029888 |
| PARAM_VALUE | 3 | *val | 0 |
| DATA_SOURCE | 4 | is_ldsx | $9 |
| UNITS | 1 | off | unit_byte |
| UNITS | 2 | size | unit_byte |