Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/syscall.c bpf_map_do_batch() -> bpf_map_write_active_dec()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 0 map 1
DATA_SOURCE 0 map r __bpf_map_get
NOCHECK_CALL

kernel/bpf/syscall.c bpf_map_mmap() -> bpf_map_write_active_dec()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
BUF_SIZE 0 map (-1),1216
BUF_SIZE 0 map (-1),1216
CAPPED_DATA 0 &map->freeze_mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ipcp->lock

kernel/bpf/syscall.c bpf_map_mmap_close() -> bpf_map_write_active_dec()

Type Parameter Key Value
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/bpf/syscall.c map_delete_elem() -> bpf_map_write_active_dec()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
DATA_SOURCE 0 map r __bpf_map_get
NOCHECK_CALL

kernel/bpf/syscall.c map_lookup_and_delete_elem() -> bpf_map_write_active_dec()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
DATA_SOURCE 0 map r __bpf_map_get
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/bpf/syscall.c map_update_elem() -> bpf_map_write_active_dec()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
DATA_SOURCE 0 map r __bpf_map_get
NOCHECK_CALL