Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/amazon/ena/ena_devlink.c ena_devlink_params_get() -> ena_phc_enable()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->devlink 4096-ptr_max
PARAM_VALUE 0 adapter->ena_dev 4096-ptr_max
PARAM_VALUE 0 adapter->ena_dev->admin_queue.comp_ctx 4096-ptr_max
PARAM_VALUE 0 adapter->ena_dev->admin_queue.completion_timeout 100000-1500000,3000000
PARAM_VALUE 0 adapter->ena_dev->admin_queue.cq.entries 0-ptr_max
PARAM_VALUE 0 adapter->ena_dev->admin_queue.curr_cmd_id 0-31
PARAM_VALUE 0 adapter->ena_dev->admin_queue.ena_dev 4096-ptr_max
PARAM_VALUE 0 adapter->ena_dev->admin_queue.polling 1
PARAM_VALUE 0 adapter->ena_dev->admin_queue.q_depth 32
PARAM_VALUE 0 adapter->ena_dev->admin_queue.q_dmadev 4096-ptr_max
PARAM_VALUE 0 adapter->ena_dev->admin_queue.q_dmadev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 adapter->ena_dev->admin_queue.q_dmadev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->ena_dev->admin_queue.q_dmadev->dma_uses_io_tlb 1
PARAM_VALUE 0 adapter->ena_dev->admin_queue.q_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->ena_dev->admin_queue.sq.entries 0-ptr_max
PARAM_VALUE 0 adapter->ena_dev->admin_queue.sq.phase 0-1
PARAM_VALUE 0 adapter->ena_dev->aenq.aenq_handlers 6300059557315182592
PARAM_VALUE 0 adapter->ena_dev->aenq.aenq_handlers->unimplemented_handler 0,3887749687630594048
PARAM_VALUE 0 adapter->ena_dev->aenq.entries 0-ptr_max
PARAM_VALUE 0 adapter->ena_dev->aenq.head 0,16
PARAM_VALUE 0 adapter->ena_dev->aenq.phase 1
PARAM_VALUE 0 adapter->ena_dev->aenq.q_depth 16
PARAM_VALUE 0 adapter->ena_dev->customer_metrics.supported_metrics 0,31
PARAM_VALUE 0 adapter->ena_dev->dma_addr_bits 32-48
PARAM_VALUE 0 adapter->ena_dev->dmadev 4096-ptr_max
PARAM_VALUE 0 adapter->ena_dev->dmadev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->ena_dev->dmadev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->ena_dev->dmadev->cma_area->alloc_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 adapter->ena_dev->dmadev->cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->ena_dev->dmadev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->ena_dev->dmadev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->ena_dev->dmadev->dma_uses_io_tlb 1
PARAM_VALUE 0 adapter->ena_dev->dmadev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 adapter->ena_dev->host_attr.host_info 0-ptr_max
PARAM_VALUE 0 adapter->ena_dev->host_attr.host_info->driver_supported_features 0,350
PARAM_VALUE 0 adapter->ena_dev->host_attr.host_info->driver_version 0,2-s32max,2147483906-4278190338
PARAM_VALUE 0 adapter->ena_dev->host_attr.host_info->ena_spec_version 0,512
PARAM_VALUE 0 adapter->ena_dev->host_attr.host_info->kernel_ver 0,459264
PARAM_VALUE 0 adapter->ena_dev->host_attr.host_info->os_type 0-1
PARAM_VALUE 0 adapter->ena_dev->mmio_read.read_resp 4096-ptr_max
PARAM_VALUE 0 adapter->ena_dev->tx_mem_queue_type 1,3
PARAM_VALUE 0 adapter->large_llq_header_enabled 0
PARAM_VALUE 0 adapter->max_rx_ring_size 256-u32max
PARAM_VALUE 0 adapter->max_rx_sgl_size 0-19
PARAM_VALUE 0 adapter->max_tx_ring_size 128-u32max
PARAM_VALUE 0 adapter->max_tx_sgl_size 0-19
PARAM_VALUE 0 *adapter->ena_dev->net_device->name 0-255
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 1 enable 0
BUF_SIZE 0 adapter s32min-(-1),1-s32max
BUF_SIZE 0 adapter s32min-(-1),1-s32max
BUF_SIZE 0 adapter->ena_dev (-1),66304
BUF_SIZE 0 adapter->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 adapter->pdev->acs_capabilities 0-u16max
HOST_DATA 0 adapter->pdev->class 0-16777215
HOST_DATA 0 adapter->pdev->current_state 0-3[c]
HOST_DATA 0 adapter->pdev->devcap 0-u32max
HOST_DATA 0 adapter->pdev->device 0-u16max
HOST_DATA 0 adapter->pdev->eetlp_prefix_max 0-7[c]
HOST_DATA 0 adapter->pdev->fm_enabled 0-1[c]
HOST_DATA 0 adapter->pdev->hdr_type 0-255[c]
HOST_DATA 0 adapter->pdev->ide_cfg 0-1[c]
HOST_DATA 0 adapter->pdev->ide_tee_limit 0-1[c]
HOST_DATA 0 adapter->pdev->irq 0-255
HOST_DATA 0 adapter->pdev->is_cxl 0-1
HOST_DATA 0 adapter->pdev->multifunction 0-1[c]
HOST_DATA 0 adapter->pdev->nr_ide_mem 0-255[c]
HOST_DATA 0 adapter->pdev->pcie_mpss 0-7[c]
HOST_DATA 0 adapter->pdev->pin 0
HOST_DATA 0 adapter->pdev->pme_support 0-31[c]
HOST_DATA 0 adapter->pdev->ptm_granularity 0-255[c]
HOST_DATA 0 adapter->pdev->revision 0-255
HOST_DATA 0 adapter->pdev->subsystem_device 0-u16max
HOST_DATA 0 adapter->pdev->subsystem_vendor 0-u16max
HOST_DATA 0 adapter->pdev->supported_speeds 0,2-254[c]
HOST_DATA 0 adapter->pdev->transparent 0[c]
HOST_DATA 0 adapter->pdev->vendor 0-u16max
HOST_DATA 0 adapter->phc_info->clock->info->max_adj 125000000
HOST_DATA 0 adapter->phc_info->clock->info->n_alarm s32min-4
HOST_DATA 0 adapter->phc_info->clock->info->n_per_lp s32min-s32max
HOST_DATA 0 adapter->phc_info->clock->info->n_pins s32min-s32max[c]
HOST_DATA 0 adapter->phc_info->clock->info->pps s32min-s32max
HOST_DATA 0 adapter->phc_info->clock->info->supported_extts_flags 0-4294967295
HOST_DATA 0 adapter->phc_info->clock->info->supported_perout_flags 0-4294967295
UNITS 0 adapter unit_byte