Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/fwctl/bnxt/main.c bnxtctl_fw_rpc() -> bnxtctl_map_dma_bufs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 2 desc 4096-ptr_max
PARAM_VALUE 2 desc->num_fields 1-2
PARAM_VALUE 3 user_addrs 1391898009956601856
PARAM_VALUE 4 lens 2445313786580365312
PARAM_VALUE 4 *lens 1-65536
PARAM_VALUE 5 kbufs 2305837388005253120
PARAM_VALUE 6 dma_addrs 369943160039739392
PARAM_VALUE 7 num_mapped 2900938923471806464
PARAM_VALUE 7 *num_mapped 0
BUF_SIZE 0 dev 1616
BUF_SIZE 1 cmd 0-2097152
BUF_SIZE 1 cmd 0-2097152
BUF_SIZE 3 user_addrs 32
BUF_SIZE 4 lens 16
BUF_SIZE 5 kbufs 32
BUF_SIZE 6 dma_addrs 32
CAPPED_DATA 2 desc->num_fields 1
CAPPED_DATA 2 desc->req_size 1
DATA_SOURCE 1 cmd $2
DATA_SOURCE 2 desc r bnxtctl_find_dma_desc
PARAM_COMPARE 1 cmd impossible $2->req_size
USER_DATA 1 *cmd s64min-s64max
USER_PTR 1 cmd
LOCK2 _T->lock