Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/bpf/arraymap.c array_map_update_elem() -> bpf_obj_cancel_fields()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 0 map->ops->map_update_batch 0,7911141981172039680
PARAM_VALUE 0 map->record 0,4096-u64max
PARAM_VALUE 0 map->record->cnt 0-s32max
BUF_SIZE 0 map s32min-(-1),1-s32max
BUF_SIZE 0 map s32min-(-1),1-s32max
DATA_SOURCE 0 map $0
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/bpf/arraymap.c array_map_update_elem() -> bpf_obj_cancel_fields()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->ops 4096-ptr_max
PARAM_VALUE 0 map->ops->map_release 0,4096-ptr_max
PARAM_VALUE 0 map->ops->map_update_batch 0,7911141981172039680
PARAM_VALUE 0 map->record 0,4096-u64max
PARAM_VALUE 0 map->record->cnt 0-s32max
PARAM_VALUE 1 obj 4096-ptr_max
BUF_SIZE 0 map s32min-(-1),1-s32max
BUF_SIZE 0 map s32min-(-1),1-s32max
CAPPED_DATA 0 map->record->cnt 1
DATA_SOURCE 0 map $0
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/bpf/arraymap.c bpf_percpu_array_update() -> bpf_obj_cancel_fields()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->map_type 6
PARAM_VALUE 0 map->ops 0-8176211074560897023,8176211074560897025-u64max
PARAM_VALUE 0 map->ops->map_update_batch 0,7911141981172039680
PARAM_VALUE 0 map->record 0,4096-u64max
PARAM_VALUE 0 map->record->cnt 0-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
DATA_SOURCE 0 map $0
NOCHECK_CALL
LOCK2 rcu_read

kernel/bpf/arraymap.c bpf_percpu_array_update() -> bpf_obj_cancel_fields()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->map_type 6
PARAM_VALUE 0 map->ops 0-8176211074560897023,8176211074560897025-u64max
PARAM_VALUE 0 map->ops->map_update_batch 0,7911141981172039680
PARAM_VALUE 0 map->record 0,4096-u64max
PARAM_VALUE 0 map->record->cnt 0-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
DATA_SOURCE 0 map $0
NOCHECK_CALL
LOCK2 rcu_read

kernel/bpf/hashtab.c check_and_cancel_fields() -> bpf_obj_cancel_fields()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->map_type 5,10
PARAM_VALUE 0 map->record 1-ptr_max
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/bpf/hashtab.c check_and_cancel_fields() -> bpf_obj_cancel_fields()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->map_type 0-4,6-9,11-u32max
PARAM_VALUE 0 map->record 1-ptr_max
PARAM_VALUE 1 obj 4096-ptr_max
DATA_SOURCE 1 obj r htab_elem_value
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/bpf/hashtab.c pcpu_copy_value() -> bpf_obj_cancel_fields()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->record 0,4096-u64max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/hashtab.c pcpu_copy_value() -> bpf_obj_cancel_fields()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->record 0,4096-u64max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/hashtab.c pcpu_copy_value() -> bpf_obj_cancel_fields()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->record 0,4096-u64max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 rcu_read