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_phc.c ena_phc_destroy() -> ena_com_phc_destroy()

Type Parameter Key Value
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.curr_cmd_id 0-33
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.entries 0
PARAM_VALUE 0 ena_dev->aenq.q_depth 0,16
PARAM_VALUE 0 ena_dev->customer_metrics.supported_metrics 0,31
PARAM_VALUE 0 *ena_dev->net_device->name 0-255
CAPPED_DATA 0 ena_dev->aenq.q_depth 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/amazon/ena/ena_phc.c ena_phc_init() -> ena_com_phc_destroy()

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.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->net_device->ethtool_ops->supported_coalesce_params 0-3,17,19,34-35,48,51,59,63,204,236,273,511,513,529,547,561,563
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_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.entries 0-ptr_max
PARAM_VALUE 0 ena_dev->aenq.head 0,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 0-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->host_attr.host_info 0-ptr_max
PARAM_VALUE 0 ena_dev->mmio_read.read_resp 4096-ptr_max
PARAM_VALUE 0 ena_dev->phc.block_timeout_usec 0,1000
PARAM_VALUE 0 ena_dev->phc.doorbell_offset 0
PARAM_VALUE 0 ena_dev->phc.expire_timeout_usec 0,10
PARAM_VALUE 0 ena_dev->phc.req_id 0
PARAM_VALUE 0 ena_dev->phc.stats.phc_cnt 0
PARAM_VALUE 0 ena_dev->phc.stats.phc_err_dv 0
PARAM_VALUE 0 ena_dev->phc.stats.phc_err_ts 0
PARAM_VALUE 0 ena_dev->phc.stats.phc_exp 0
PARAM_VALUE 0 ena_dev->phc.stats.phc_skp 0
PARAM_VALUE 0 ena_dev->phc.system_time 0
PARAM_VALUE 0 ena_dev->phc.virt_addr 4096-ptr_max
PARAM_VALUE 0 ena_dev->phc.virt_addr->error_flags 0
PARAM_VALUE 0 ena_dev->phc.virt_addr->req_id 0
PARAM_VALUE 0 ena_dev->phc.virt_addr->timestamp 0
PARAM_VALUE 0 ena_dev->supported_features 536870912-u32max
PARAM_VALUE 0 ena_dev->tx_mem_queue_type 1,3
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
MEM_ZERO 0 ena_dev->phc.virt_addr
MEM_ZERO 0 &ena_dev->phc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL