Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
security/security.c security_bpf_map_create() -> security_bpf_map_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->freeze_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | map->freeze_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | map->freeze_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | map->map_type | 1-35 |
| PARAM_VALUE | 0 | map->refcnt.counter | 1 |
| PARAM_VALUE | 0 | map->security | 0,4096-ptr_max |
| PARAM_VALUE | 0 | map->usercnt.counter | 1 |
| DATA_SOURCE | 0 | map | $0 |
| NOSPEC | 0 | map->map_type | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | map->btf_key_type_id | 0-u32max |
| USER_DATA | 0 | map->btf_value_type_id | 0-u32max |
| USER_DATA | 0 | map->btf_vmlinux_value_type_id | 0-u32max |
| USER_DATA | 0 | map->map_type | 1-34[c] |
kernel/bpf/syscall.c bpf_map_free_deferred() -> security_bpf_map_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
kernel/bpf/syscall.c map_create() -> security_bpf_map_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->freeze_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | map->freeze_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | map->freeze_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | map->map_type | 1-35 |
| PARAM_VALUE | 0 | map->refcnt.counter | 1 |
| PARAM_VALUE | 0 | map->security | 0,4096-ptr_max |
| PARAM_VALUE | 0 | map->usercnt.counter | 1 |
| NOSPEC | 0 | map->map_type | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | map->btf_key_type_id | 0-4294967295 |
| USER_DATA | 0 | map->btf_value_type_id | 0-4294967295 |
| USER_DATA | 0 | map->btf_vmlinux_value_type_id | 0-4294967295 |
| USER_DATA | 0 | map->map_type | 1-34[c] |