Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/hashtab.c __htab_map_lookup_and_delete_batch() -> htab_lru_push_free()

Type Parameter Key Value
PARAM_VALUE 0 htab 4096-ptr_max
PARAM_VALUE 0 htab->buckets 4096-ptr_max
PARAM_VALUE 0 htab->map.elem_count 4096-ptr_max
PARAM_VALUE 0 htab->map.map_flags 1-u32max
PARAM_VALUE 0 htab->map.ops 4096-ptr_max
PARAM_VALUE 0 htab->n_buckets 1-u32max
PARAM_VALUE 0 htab->pcount.lock.dep_map->name 0-255
PARAM_VALUE 1 elem 4096-ptr_max
PARAM_VALUE 1 elem->batch_flink 0,4096-ptr_max
CAPPED_DATA 0 htab->n_buckets 1
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 flags

kernel/bpf/hashtab.c __htab_map_lookup_and_delete_elem() -> htab_lru_push_free()

Type Parameter Key Value
PARAM_VALUE 0 htab 4096-ptr_max
PARAM_VALUE 1 elem 4096-ptr_max
CAPPED_DATA 1 elem->hash 1
DATA_SOURCE 1 elem r lookup_elem_raw
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags
LOCK2 rcu_read

kernel/bpf/hashtab.c htab_lru_map_delete_elem() -> htab_lru_push_free()

Type Parameter Key Value
PARAM_VALUE 0 htab 4096-ptr_max
PARAM_VALUE 1 elem 4096-ptr_max
CAPPED_DATA 1 elem->hash 1
DATA_SOURCE 1 elem r lookup_elem_raw
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/hashtab.c htab_lru_map_update_elem() -> htab_lru_push_free()

Type Parameter Key Value
PARAM_VALUE 0 htab 4096-ptr_max
PARAM_VALUE 0 htab->lru.common_lru.lru_list.lock.locked 0
PARAM_VALUE 0 htab->lru.common_lru.lru_list.lock.locked_pending 1
PARAM_VALUE 0 htab->lru.common_lru.lru_list.lock.pending 0
PARAM_VALUE 0 htab->lru.nr_scans 4,128
PARAM_VALUE 0 htab->map.record 0,4096-u64max
PARAM_VALUE 0 htab->map.record->cnt 0-s32max
PARAM_VALUE 1 elem 4096-ptr_max
PARAM_VALUE 1 elem->hash_node.pprev 4096-ptr_max
DATA_SOURCE 1 elem r prealloc_lru_pop
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/bpf/hashtab.c htab_lru_map_update_elem() -> htab_lru_push_free()

Type Parameter Key Value
PARAM_VALUE 0 htab 4096-ptr_max
PARAM_VALUE 0 htab->lru.common_lru.lru_list.lock.locked 0
PARAM_VALUE 0 htab->lru.common_lru.lru_list.lock.locked_pending 1
PARAM_VALUE 0 htab->lru.common_lru.lru_list.lock.pending 0
PARAM_VALUE 0 htab->lru.nr_scans 4,128
PARAM_VALUE 0 htab->map.record 0,4096-u64max
PARAM_VALUE 0 htab->map.record->cnt 0-s32max
PARAM_VALUE 1 elem 4096-ptr_max
CAPPED_DATA 1 elem->hash 1
DATA_SOURCE 1 elem r lookup_elem_raw
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags