Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/net/ethernet/fungible/funeth/funeth_rx.c fun_rxq_create_dev() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fdev 4096-ptr_max
PARAM_VALUE 0 fdev->admin_sbq.wake_index.counter 0-7
PARAM_VALUE 0 fdev->admin_sbq.wakeup_cnt.counter 0-s32max
PARAM_VALUE 0 fdev->suppress_cmds 1
PARAM_VALUE 1 res 18
PARAM_VALUE 2 flags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->ethtool->rss_lock
HALF_LOCKED2 &dev->lock

drivers/net/ethernet/fungible/funeth/funeth_rx.c fun_rxq_free_dev() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 1 res 18
PARAM_VALUE 2 flags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/fungible/funeth/funeth_rx.c fun_rxq_free_dev() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fdev 4096-ptr_max
PARAM_VALUE 0 fdev->admin_q 4096-ptr_max
PARAM_VALUE 0 fdev->admin_sbq.wake_index.counter 0-7
PARAM_VALUE 0 fdev->suppress_cmds 1
PARAM_VALUE 1 res 17
PARAM_VALUE 2 flags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/fungible/funeth/funeth_main.c fun_create_and_bind_tx() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fdev 4096-ptr_max
PARAM_VALUE 0 fdev->admin_q 4096-ptr_max
PARAM_VALUE 0 fdev->admin_q->sq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fdev->admin_sbq.wake_index.counter 0-7
PARAM_VALUE 0 fdev->suppress_cmds 1
PARAM_VALUE 1 res 20
PARAM_VALUE 2 flags 0
PARAM_VALUE 3 id 0-s32max
DATA_SOURCE 3 id r fun_eth_create
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->ethtool->rss_lock
HALF_LOCKED2 &dev->lock

drivers/net/ethernet/fungible/funeth/funeth_main.c fun_destroy_rss() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fdev->suppress_cmds 1
PARAM_VALUE 1 res 33
PARAM_VALUE 2 flags 0
PARAM_VALUE 3 id 0-4294967294
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/fungible/funeth/funeth_main.c fun_down() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fdev->admin_sbq.wake_index.counter 0-7
PARAM_VALUE 0 fdev->suppress_cmds 1
PARAM_VALUE 1 res 21
PARAM_VALUE 2 flags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 id unit_array_size

drivers/net/ethernet/fungible/funeth/funeth_main.c fun_port_destroy() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 1 res 19
PARAM_VALUE 2 flags 0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 3 id
UNITS 3 id unit_array_size
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/fungible/funeth/funeth_main.c fun_up() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fdev 4096-ptr_max
PARAM_VALUE 0 fdev->admin_q 4096-ptr_max
PARAM_VALUE 0 fdev->admin_q->sq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fdev->admin_sbq.wake_index.counter 0-7
PARAM_VALUE 0 fdev->suppress_cmds 1
PARAM_VALUE 1 res 21
PARAM_VALUE 2 flags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 id unit_array_size

drivers/net/ethernet/fungible/funeth/funeth_ktls.c fun_ktls_cleanup() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fdev->adminq_cb 1105875079318130688
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 1 res 38
PARAM_VALUE 2 flags 0
PARAM_VALUE 3 id 0-4294967294
BUF_SIZE 0 fdev (-1),336
BUF_SIZE 0 fdev (-1),336
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 id unit_array_size
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/fungible/funcore/fun_dev.c fun_dev_disable() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fdev 4096-ptr_max
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->adminq_cb 1105875079318130688
PARAM_VALUE 0 fdev->bar 0
PARAM_VALUE 0 fdev->q_depth 1-65536
PARAM_VALUE 0 fdev->serv_cb 507762089812451328
PARAM_VALUE 0 fdev->suppress_cmds 1
PARAM_VALUE 1 res 31
PARAM_VALUE 2 flags 0
BUF_SIZE 0 fdev s32min-(-2),1-s32max
BUF_SIZE 0 fdev s32min-(-2),1-s32max
DATA_SOURCE 0 fdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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.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->service_task.data.counter s64min-s64max
HOST_DATA 0 fdev->admin_q->fdev->suppress_cmds 1
HOST_DATA 0 fdev->admin_sbq.min_shallow_depth 0-u32max
HOST_DATA 0 fdev->admin_sbq.sb->alloc_hint 0-65[c]
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->cap_reg 0-u64max
HOST_DATA 0 fdev->cc_reg 0-u32max
HOST_DATA 0 fdev->db_stride 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 1-65536
HOST_DATA 0 fdev->service_flags 0
HOST_DATA 0 fdev->service_task.data.counter s64min-s64max
HOST_DATA 0 fdev->suppress_cmds 1
NO_OVERFLOW_SIMPLE 0 fdev->admin_sbq.sb.depth
UNITS 0 fdev unit_byte

drivers/net/ethernet/fungible/funeth/funeth_tx.c fun_txq_create_dev() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fdev 4096-ptr_max
PARAM_VALUE 0 fdev->admin_q 4096-ptr_max
PARAM_VALUE 0 fdev->suppress_cmds 1
PARAM_VALUE 1 res 18
PARAM_VALUE 2 flags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->ethtool->rss_lock
HALF_LOCKED2 &dev->lock

drivers/net/ethernet/fungible/funeth/funeth_tx.c fun_txq_free_dev() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 1 res 18
PARAM_VALUE 2 flags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/fungible/funeth/funeth_tx.c fun_txq_free_dev() -> fun_res_destroy()

Type Parameter Key Value
PARAM_VALUE 0 fdev 4096-ptr_max
PARAM_VALUE 0 fdev->admin_q 4096-ptr_max
PARAM_VALUE 0 fdev->admin_sbq.wake_index.counter 0-7
PARAM_VALUE 0 fdev->suppress_cmds 1
PARAM_VALUE 1 res 20
PARAM_VALUE 2 flags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL