Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/fungible/funcore/fun_dev.c fun_update_cc_enable() -> fun_wait_ready()

Type Parameter Key Value
PARAM_VALUE 0 fdev 4096-ptr_max
PARAM_VALUE 0 fdev->admin_q->fdev->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 fdev->admin_q->fdev->fw_handle u32max
PARAM_VALUE 0 fdev->admin_q->fdev->q_depth 1-65536
PARAM_VALUE 0 fdev->admin_q->fdev->serv_cb 507762089812451328
PARAM_VALUE 0 fdev->admin_q->fdev->suppress_cmds 1
PARAM_VALUE 0 fdev->adminq_cb 1105875079318130688
PARAM_VALUE 0 fdev->bar 0,4096-ptr_max
PARAM_VALUE 0 fdev->fw_handle u32max
PARAM_VALUE 0 fdev->q_depth 1-65536
PARAM_VALUE 0 fdev->serv_cb 507762089812451328
PARAM_VALUE 0 fdev->suppress_cmds 1
PARAM_VALUE 0 *fdev->admin_q->irqname 0-255
BUF_SIZE 0 fdev s32min-(-1),1-s32max
BUF_SIZE 0 fdev s32min-(-1),1-s32max
BUF_SIZE 0 fdev->admin_q (-1),288
BUF_SIZE 0 fdev->dev (-1),1616
DATA_SOURCE 0 fdev $0
STR_LEN 0 fdev (-1),6
STR_LEN 0 fdev (-1),6
STR_LEN 0 fdev->admin_q->fdev (-1),6
BIT_INFO 0 fdev->cc_reg 0x0,0xffff3fff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 fdev->admin_q->fdev->admin_sbq.completion_cnt.counter s32min-s32max
HOST_DATA 0 fdev->admin_q->fdev->admin_sbq.min_shallow_depth 0-u32max
HOST_DATA 0 fdev->admin_q->fdev->admin_sbq.sb.depth 0-u32max
HOST_DATA 0 fdev->admin_q->fdev->admin_sbq.sb.map_nr 0-u32max
HOST_DATA 0 fdev->admin_q->fdev->admin_sbq.sb.round_robin 0-1
HOST_DATA 0 fdev->admin_q->fdev->admin_sbq.sb.shift 0-u32max
HOST_DATA 0 fdev->admin_q->fdev->admin_sbq.wake_batch 0-u32max
HOST_DATA 0 fdev->admin_q->fdev->admin_sbq.wake_index.counter s32min-s32max
HOST_DATA 0 fdev->admin_q->fdev->admin_sbq.wakeup_cnt.counter s32min-s32max
HOST_DATA 0 fdev->admin_q->fdev->admin_sbq.ws_active.counter s32min-s32max
HOST_DATA 0 fdev->admin_q->fdev->cap_reg 0-u64max
HOST_DATA 0 fdev->admin_q->fdev->cc_reg 0-u32max
HOST_DATA 0 fdev->admin_q->fdev->kern_end_qid 0-u32max
HOST_DATA 0 fdev->admin_q->fdev->max_qid 0-u32max
HOST_DATA 0 fdev->admin_q->fdev->q_depth 1-65536[c]
HOST_DATA 0 fdev->admin_q->fdev->service_task.data.counter s64min-s64max
HOST_DATA 0 fdev->admin_q->fdev->suppress_cmds 1
HOST_DATA 0 fdev->admin_sbq.completion_cnt.counter s32min-s32max
HOST_DATA 0 fdev->admin_sbq.min_shallow_depth 0-u32max
HOST_DATA 0 fdev->admin_sbq.sb.depth 0-u32max
HOST_DATA 0 fdev->admin_sbq.sb.map_nr 0-u32max
HOST_DATA 0 fdev->admin_sbq.sb.round_robin 0-1
HOST_DATA 0 fdev->admin_sbq.sb.shift 0-u32max
HOST_DATA 0 fdev->admin_sbq.wake_batch 0-u32max
HOST_DATA 0 fdev->admin_sbq.wake_index.counter s32min-s32max
HOST_DATA 0 fdev->admin_sbq.wakeup_cnt.counter s32min-s32max
HOST_DATA 0 fdev->admin_sbq.ws_active.counter s32min-s32max
HOST_DATA 0 fdev->cap_reg 0-u64max
HOST_DATA 0 fdev->cc_reg 0,2-u32max[c]
HOST_DATA 0 fdev->db_stride 0-u32max
HOST_DATA 0 fdev->fw_handle u32max
HOST_DATA 0 fdev->irqs_avail 0-u32max
HOST_DATA 0 fdev->kern_end_qid 0-u32max
HOST_DATA 0 fdev->max_qid 0-u32max
HOST_DATA 0 fdev->num_irqs 0-u32max
HOST_DATA 0 fdev->q_depth 1-65536
HOST_DATA 0 fdev->service_flags 0-u64max
HOST_DATA 0 fdev->service_task.data.counter s64min-s64max
HOST_DATA 0 fdev->suppress_cmds 1
HOST_DATA 1 enabled 0-1
NO_OVERFLOW_SIMPLE 0 fdev->admin_sbq.sb.depth
UNITS 0 fdev unit_byte

drivers/net/ethernet/fungible/funcore/fun_dev.c sanitize_dev() -> fun_wait_ready()

Type Parameter Key Value
PARAM_VALUE 0 fdev 4096-ptr_max
PARAM_VALUE 0 fdev->dev 4096-ptr_max
PARAM_VALUE 0 fdev->dev->dma_mask 4096-ptr_max
BUF_SIZE 0 fdev 336
BUF_SIZE 0 fdev->dev 1616
DATA_SOURCE 0 fdev $0
STR_LEN 0 fdev 6
STR_LEN 0 fdev 6
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 fdev->admin_sbq.completion_cnt.counter s32min-s32max
HOST_DATA 0 fdev->admin_sbq.min_shallow_depth 0-u32max
HOST_DATA 0 fdev->admin_sbq.sb.depth 0-u32max
HOST_DATA 0 fdev->admin_sbq.sb.map_nr 0-u32max
HOST_DATA 0 fdev->admin_sbq.sb.round_robin 0-1
HOST_DATA 0 fdev->admin_sbq.sb.shift 0-u32max
HOST_DATA 0 fdev->admin_sbq.wake_batch 0-u32max
HOST_DATA 0 fdev->admin_sbq.wake_index.counter s32min-s32max
HOST_DATA 0 fdev->admin_sbq.wakeup_cnt.counter s32min-s32max
HOST_DATA 0 fdev->admin_sbq.ws_active.counter s32min-s32max
HOST_DATA 0 fdev->cap_reg 0-u64max
HOST_DATA 0 fdev->cc_reg 0-u32max
HOST_DATA 0 fdev->db_stride 0-u32max
HOST_DATA 0 fdev->fw_handle 0-u32max
HOST_DATA 0 fdev->irqs_avail 0-u32max
HOST_DATA 0 fdev->kern_end_qid 0-u32max
HOST_DATA 0 fdev->max_qid 0-u32max
HOST_DATA 0 fdev->num_irqs 0-u32max
HOST_DATA 0 fdev->q_depth 0-u32max
HOST_DATA 0 fdev->service_flags 0-u64max
HOST_DATA 0 fdev->service_task.data.counter s64min-s64max
HOST_DATA 0 fdev->suppress_cmds 0-1
HOST_DATA 0 *fdev 0-u64max
HOST_DATA 1 enabled 0-1
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock