Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/amazon/ena/ena_netdev.c ena_destroy_device() -> ena_com_mmio_reg_read_request_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ena_dev 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx 0
PARAM_VALUE 0 ena_dev->admin_queue.completion_timeout 0-65535000
PARAM_VALUE 0 ena_dev->admin_queue.cq.entries 0
PARAM_VALUE 0 ena_dev->admin_queue.curr_cmd_id 0-33
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.q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ena_dev->admin_queue.sq.entries 0
PARAM_VALUE 0 ena_dev->admin_queue.sq.phase 0-1
PARAM_VALUE 0 ena_dev->aenq.entries 0
PARAM_VALUE 0 ena_dev->aenq.q_depth 16
CAPPED_DATA 0 ena_dev->admin_queue.curr_cmd_id 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/amazon/ena/ena_netdev.c ena_device_init() -> ena_com_mmio_reg_read_request_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ena_dev 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx->cmd_opcode 0-255
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx->comp_size 0,8,24,64
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx->comp_status 0-255
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx->occupied 0-1
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 0,1000-65535000
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->net_device->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 0 ena_dev->admin_queue.q_depth 32
PARAM_VALUE 0 ena_dev->admin_queue.q_lock.rlock.dep_map->name 0-255
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.supported_metrics 0,31
PARAM_VALUE 0 ena_dev->dmadev 4096-ptr_max
PARAM_VALUE 0 ena_dev->dmadev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ena_dev->dmadev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ena_dev->dmadev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 ena_dev->dmadev->cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ena_dev->dmadev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 ena_dev->dmadev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ena_dev->dmadev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ena_dev->dmadev->dma_uses_io_tlb 1
PARAM_VALUE 0 ena_dev->dmadev->iommu->attach_deferred 0-1
PARAM_VALUE 0 ena_dev->dmadev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ena_dev->host_attr.host_info 0
PARAM_VALUE 0 ena_dev->mmio_read.read_resp 4096-ptr_max
PARAM_VALUE 0 ena_dev->mmio_read.read_resp->reg_off 0
PARAM_VALUE 0 ena_dev->mmio_read.read_resp->reg_val 0
PARAM_VALUE 0 ena_dev->mmio_read.reg_read_to 0,1000-65535000
PARAM_VALUE 0 *ena_dev->net_device->name 0-255
BUF_SIZE 0 ena_dev (-1),66304
BUF_SIZE 0 ena_dev (-1),66304
CAPPED_DATA 0 ena_dev->admin_queue.curr_cmd_id 1
CAPPED_DATA 0 ena_dev->dmadev 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/amazon/ena/ena_netdev.c ena_restore_device() -> ena_com_mmio_reg_read_request_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ena_dev 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx 0
PARAM_VALUE 0 ena_dev->admin_queue.completion_timeout 0-65535000
PARAM_VALUE 0 ena_dev->admin_queue.cq.entries 0
PARAM_VALUE 0 ena_dev->admin_queue.curr_cmd_id 0-33
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.q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ena_dev->admin_queue.sq.entries 0
PARAM_VALUE 0 ena_dev->admin_queue.sq.phase 0-1
PARAM_VALUE 0 ena_dev->aenq.entries 0
PARAM_VALUE 0 ena_dev->aenq.q_depth 16
PARAM_VALUE 0 ena_dev->mmio_read.reg_read_to 0,1000-65535000
PARAM_VALUE 0 *ena_dev->net_device->name 0-255
CAPPED_DATA 0 ena_dev->admin_queue.curr_cmd_id 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex