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_abort_admin_commands()

Type Parameter Key Value
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.q_depth 32
PARAM_VALUE 0 ena_dev->admin_queue.sq.phase 0-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_abort_admin_commands()

Type Parameter Key Value
PARAM_VALUE 0 ena_dev 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx->occupied 0
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx->status 0
PARAM_VALUE 0 ena_dev->admin_queue.comp_ctx->user_cqe 0
PARAM_VALUE 0 ena_dev->admin_queue.completion_timeout 100000-1500000,3000000
PARAM_VALUE 0 ena_dev->admin_queue.cq.entries 0-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.curr_cmd_id 0-31
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.comp_ctx 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.completion_timeout 100000-1500000,3000000
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.cq.entries 0-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.cq.phase 1
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.ena_dev 4096-ptr_max
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.q_dmadev 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.sq.entries 0-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->admin_queue.sq.phase 1
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->aenq.aenq_handlers 6300059557315182592
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->aenq.entries 0-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->aenq.head 16
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->aenq.phase 1
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->dma_addr_bits 32-48
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->dmadev 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.ena_dev->mmio_read.read_resp 4096-ptr_max
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.polling 1
PARAM_VALUE 0 ena_dev->admin_queue.q_depth 32
PARAM_VALUE 0 ena_dev->admin_queue.q_dmadev 4096-ptr_max
PARAM_VALUE 0 ena_dev->admin_queue.q_dmadev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ena_dev->admin_queue.q_dmadev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ena_dev->admin_queue.q_dmadev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ena_dev->admin_queue.q_dmadev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ena_dev->admin_queue.q_dmadev->dma_uses_io_tlb 1
PARAM_VALUE 0 ena_dev->admin_queue.q_dmadev->iommu->pci_32bit_workaround 0-1
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-ptr_max
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 3887749687630594048
PARAM_VALUE 0 ena_dev->aenq.entries 0-ptr_max
PARAM_VALUE 0 ena_dev->aenq.head 16
PARAM_VALUE 0 ena_dev->aenq.phase 1
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->dma_addr_bits 32-48
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->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-ptr_max
PARAM_VALUE 0 ena_dev->host_attr.host_info->driver_supported_features 0,350
PARAM_VALUE 0 ena_dev->host_attr.host_info->driver_version 0,2-s32max,2147483906-4278190338
PARAM_VALUE 0 ena_dev->host_attr.host_info->ena_spec_version 0,512
PARAM_VALUE 0 ena_dev->host_attr.host_info->kernel_ver 0,459264
PARAM_VALUE 0 ena_dev->host_attr.host_info->os_dist 0
PARAM_VALUE 0 ena_dev->host_attr.host_info->os_type 0-1
PARAM_VALUE 0 ena_dev->host_attr.host_info->reserved 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->admin_queue->ena_dev->net_device->name 0-255
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->dmadev 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ena_dev 4096-ptr_max
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.sq.phase 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex