Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/hashtab.c htab_free_elems() -> get_htab_elem()

Type Parameter Key Value
PARAM_VALUE 0 htab 4096-ptr_max
PARAM_VALUE 1 i 0-s32max
BUF_SIZE 0 htab (-1)-s32max
BUF_SIZE 0 htab (-1)-s32max
BUF_SIZE 0 htab->buckets (-1)-s32max
BUF_SIZE 0 htab->elems (-1)-s32max
CAPPED_DATA 1 i 1
DATA_SOURCE 0 htab $0
FUZZY_MAX 1 i 0
PARAM_COMPARE 0 htab->map.max_entries > $1
PARAM_COMPARE 1 i < $0->map.max_entries
NO_OVERFLOW_SIMPLE 0 htab->map.max_entries
NO_OVERFLOW_SIMPLE 0 htab->n_buckets
NO_OVERFLOW_SIMPLE 1 i
UNITS 1 i unit_byte

kernel/bpf/hashtab.c htab_free_prealloced_fields() -> get_htab_elem()

Type Parameter Key Value
PARAM_VALUE 0 htab 4096-ptr_max
PARAM_VALUE 1 i 0-s32max
CAPPED_DATA 1 i 1
DATA_SOURCE 0 htab $0
FUZZY_MAX 1 i 0
UNITS 1 i unit_byte

kernel/bpf/hashtab.c htab_free_prealloced_internal_structs() -> get_htab_elem()

Type Parameter Key Value
PARAM_VALUE 0 htab 4096-ptr_max
PARAM_VALUE 1 i 0-s32max
CAPPED_DATA 1 i 1
DATA_SOURCE 0 htab $0
FUZZY_MAX 1 i 0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 i unit_byte
HALF_LOCKED2 global &sockmap_mutex

kernel/bpf/hashtab.c prealloc_init() -> get_htab_elem()

Type Parameter Key Value
PARAM_VALUE 0 htab 4096-ptr_max
PARAM_VALUE 0 htab->elems 1-u64max
PARAM_VALUE 1 i 0-s32max
BUF_SIZE 0 htab (-1)-s32max
BUF_SIZE 0 htab (-1)-s32max
BUF_SIZE 0 htab->buckets (-1)-s32max
BUF_SIZE 0 htab->elems (-1)-s32max
CAPPED_DATA 0 htab->n_buckets 1
CAPPED_DATA 1 i 1
DATA_SOURCE 0 htab $0
NO_OVERFLOW_SIMPLE 0 htab->map.max_entries
NO_OVERFLOW_SIMPLE 0 htab->n_buckets
NO_OVERFLOW_SIMPLE 1 i
UNITS 1 i unit_byte