Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/chelsio/cxgb4/cudbg_lib.c cudbg_collect_mem_region() -> cudbg_read_fw_mem()

Type Parameter Key Value
PARAM_VALUE 0 pdbg_init 807020560420417536
PARAM_VALUE 0 pdbg_init->adap 4096-ptr_max
PARAM_VALUE 0 pdbg_init->adap->fatal_err_notify_task.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 pdbg_init->adap->mbox_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pdbg_init->adap->mlist.list.prev 6161797322780819456
PARAM_VALUE 0 pdbg_init->adap->mlist.list.prev->next 6161797322780819456
PARAM_VALUE 0 pdbg_init->adap->mlist.list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pdbg_init->compress_buff_size 0,4194304
PARAM_VALUE 0 pdbg_init->compress_type 1-2
PARAM_VALUE 0 pdbg_init->outbuf 4096-ptr_max
PARAM_VALUE 0 pdbg_init->outbuf_size 3800-u32max
PARAM_VALUE 1 dbg_buff 8326408141825630208
PARAM_VALUE 1 dbg_buff->data 4096-ptr_max
PARAM_VALUE 1 dbg_buff->size 3800-u32max
PARAM_VALUE 2 mem_type 0-4
PARAM_VALUE 3 tot_len 0-u32max
PARAM_VALUE 4 cudbg_err 503797233639997440
PARAM_VALUE 4 cudbg_err->app_err 0
PARAM_VALUE 4 cudbg_err->sys_err 0
PARAM_VALUE 4 cudbg_err->sys_warn (-255)-0
CAPPED_DATA 0 pdbg_init->adap->params.arch.nchan 1
DATA_SOURCE 0 pdbg_init $0
DATA_SOURCE 1 dbg_buff $1
DATA_SOURCE 2 mem_type $3
DATA_SOURCE 4 cudbg_err $2
HARD_MAX 2 mem_type 4
MEM_ZERO 0 pdbg_init
MEM_ZERO 4 cudbg_err