Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/amazon/ena/ena_com.c ena_com_admin_destroy() -> ena_com_free_ena_admin_queue_comp_ctx()

Type Parameter Key Value
PARAM_VALUE 0 ena_dev 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx->comp_size 0,8,24,64
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx->status 0-2
PARAM_VALUE 0 ena_dev->admin_queue.completion_timeout 0-65535000
PARAM_VALUE 0 ena_dev->admin_queue.curr_cmd_id 0-33
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.completion_timeout 1000-65535000
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.curr_cmd_id 0-31
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.q_depth 32
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.sq.phase 0-1
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->aenq.aenq_handlers 6300059557315182592
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->aenq.q_depth 16
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->customer_metrics.buffer_len 0,512
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->customer_metrics.supported_metrics 0,31
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->mmio_read.reg_read_to 1000-65535000
PARAM_VALUE 0 ena_dev->admin_queue.q_depth 32
PARAM_VALUE 0 ena_dev->admin_queue.sq.phase 0-1
PARAM_VALUE 0 ena_dev->aenq.aenq_handlers 6300059557315182592
PARAM_VALUE 0 ena_dev->aenq.aenq_handlers->unimplemented_handler 0,3887749687630594048
PARAM_VALUE 0 ena_dev->aenq.q_depth 16
PARAM_VALUE 0 ena_dev->customer_metrics.buffer_len 0,512
PARAM_VALUE 0 ena_dev->customer_metrics.supported_metrics 0,31
PARAM_VALUE 0 ena_dev->mmio_read.reg_read_to 0,1000-65535000
PARAM_VALUE 0 *ena_dev->net_device->name 0-255
PARAM_VALUE 1 admin_queue 4096-ptr_max
PARAM_VALUE 1 admin_queue->completion_timeout 0-65535000
PARAM_VALUE 1 admin_queue->curr_cmd_id 0-33
PARAM_VALUE 1 admin_queue->q_depth 32
PARAM_VALUE 1 admin_queue->sq.phase 0-1
BUF_SIZE 0 ena_dev (-1),66304
BUF_SIZE 0 ena_dev (-1),66304
BUF_SIZE 0 ena_dev->dmadev (-1),1616
BUF_SIZE 1 admin_queue 216
DATA_SOURCE 0 ena_dev $0
PARAM_COMPARE 0 &ena_dev->admin_queue == $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL