Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/netronome/nfp/bpf/offload.c nfp_map_ptrs_record() -> nfp_map_ptr_record()

Type Parameter Key Value
PARAM_VALUE 1 nfp_prog 4096-ptr_max
PARAM_VALUE 1 nfp_prog->error 0
PARAM_VALUE 1 nfp_prog->map_records 4096-ptr_max
PARAM_VALUE 1 nfp_prog->prog 16,4096-ptr_max
BUF_SIZE 1 nfp_prog 56,128
BUF_SIZE 1 nfp_prog 56,128
BUF_SIZE 1 nfp_prog->map_records 8-17179869176
CAPPED_DATA 1 nfp_prog->subprog_cnt 1
DATA_SOURCE 0 bpf $0
DATA_SOURCE 1 nfp_prog $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 nfp_prog->__prog_alloc_len 0-524280[c]
NO_OVERFLOW_SIMPLE 1 nfp_prog->prog_len
LOCK2 &prog->aux->used_maps_mutex
LOCK2 global &bpf_devs_lock
TYPE_LOCK (struct bpf_prog_aux)->used_maps_mutex