Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->num_fields 1-2
PARAM_VALUE 2 user_addrs 1391898009956601856
BUF_SIZE 0 cmd 0-2097152
BUF_SIZE 0 cmd 0-2097152
BUF_SIZE 2 user_addrs 32
CAPPED_DATA 1 desc->num_fields 1
CAPPED_DATA 1 desc->req_size 1
DATA_SOURCE 0 cmd $2
DATA_SOURCE 1 desc r bnxtctl_find_dma_desc
PARAM_COMPARE 0 cmd == $1->req_size
NOCHECK_CALL
USER_DATA 0 *cmd s64min-s64max
USER_PTR 0 cmd
LOCK2 _T->lock