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_inc()

Type Parameter Key Value
PARAM_VALUE 0 map 0-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 bpf_map_mmap() -> bpf_map_write_active_inc()

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
BIT_INFO 0 map->map_flags 0x0,0xffffff7f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &map->freeze_mutex
HALF_LOCKED2 &ipcp->lock
TYPE_LOCK (struct bpf_map)->freeze_mutex

kernel/bpf/syscall.c bpf_map_mmap_open() -> bpf_map_write_active_inc()

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
HALF_LOCKED2 &dev->attach_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock

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

Type Parameter Key Value
PARAM_VALUE 0 map 0-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_inc()

Type Parameter Key Value
PARAM_VALUE 0 map 0-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_update_elem() -> bpf_map_write_active_inc()

Type Parameter Key Value
PARAM_VALUE 0 map 0-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