Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->devlink->lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->devlink->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 adapter->devlink->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 adapter->devlink->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 adapter->devlink->lock.osq.tail.counter 0-s32max
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->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->llq_info.desc_list_entry_size 0,128,192,256
PARAM_VALUE 0 adapter->ena_dev->llq_info.desc_list_entry_size_ctrl 0-2,4
PARAM_VALUE 0 adapter->ena_dev->llq_info.desc_stride_ctrl 0-2
PARAM_VALUE 0 adapter->ena_dev->llq_info.descs_num_before_header 0-2,4,8
PARAM_VALUE 0 adapter->ena_dev->llq_info.descs_per_entry 0-1,8,12,16
PARAM_VALUE 0 adapter->ena_dev->llq_info.header_location_ctrl 0-1
PARAM_VALUE 0 adapter->ena_dev->mmio_read.read_resp 4096-ptr_max
PARAM_VALUE 0 adapter->ena_dev->phc.block_timeout_usec 0,1000
PARAM_VALUE 0 adapter->ena_dev->phc.doorbell_offset 0
PARAM_VALUE 0 adapter->ena_dev->phc.expire_timeout_usec 0,10
PARAM_VALUE 0 adapter->ena_dev->phc.req_id 0
PARAM_VALUE 0 adapter->ena_dev->phc.stats.phc_cnt 0
PARAM_VALUE 0 adapter->ena_dev->phc.stats.phc_err_dv 0
PARAM_VALUE 0 adapter->ena_dev->phc.stats.phc_err_ts 0
PARAM_VALUE 0 adapter->ena_dev->phc.stats.phc_exp 0
PARAM_VALUE 0 adapter->ena_dev->phc.stats.phc_skp 0
PARAM_VALUE 0 adapter->ena_dev->phc.system_time 0
PARAM_VALUE 0 adapter->ena_dev->phc.virt_addr 0-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->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 adapter->phc_info 0,4096-ptr_max
PARAM_VALUE 0 adapter->phc_info->adapter 4096-ptr_max
PARAM_VALUE 0 adapter->phc_info->adapter->devlink 4096-ptr_max
PARAM_VALUE 0 adapter->phc_info->adapter->ena_dev 4096-ptr_max
PARAM_VALUE 0 adapter->phc_info->adapter->max_rx_ring_size 256-u32max
PARAM_VALUE 0 adapter->phc_info->adapter->max_rx_sgl_size 0-19
PARAM_VALUE 0 adapter->phc_info->adapter->max_tx_ring_size 256-u32max
PARAM_VALUE 0 adapter->phc_info->adapter->max_tx_sgl_size 0-19
PARAM_VALUE 0 adapter->phc_info->adapter->phc_info 4096-ptr_max
PARAM_VALUE 0 adapter->phc_info->clock 0,4096-u64max
PARAM_VALUE 0 adapter->phc_info->clock->clock.cdev.count 0-1
PARAM_VALUE 0 adapter->phc_info->clock->clock.cdev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 adapter->phc_info->clock->clock.cdev.kobj.ktype 1499647686170447872
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->class 4269305428020727808
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->kobj.ktype 5399513539053756416
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->kobj.state_initialized 1
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->numa_node (-1)
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->power.disable_depth 1
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->power.early_init 1
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->power.last_status (-1)
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->power.runtime_auto 1
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->power.runtime_status 2
PARAM_VALUE 0 adapter->phc_info->clock->clock.dev->release 2811452694727499776
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_op->d_dname 0,716233247738060800,2056107418359259136,2102941272419614720,3721061892745007104,5585410052597575680,6720345164634435584,7931586599356526592
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 adapter->phc_info->clock->debugfs_root->d_sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 adapter->phc_info->clock->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 adapter->phc_info->clock->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 adapter->phc_info->clock->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 adapter->phc_info->clock->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 adapter->phc_info->clock->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 adapter->phc_info->clock->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 adapter->phc_info->clock->dev.kobj.ktype->child_ns_type 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE 0 adapter->phc_info->clock->dev.kobj.ktype->get_ownership 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE 0 adapter->phc_info->clock->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 adapter->phc_info->clock->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 adapter->phc_info->clock->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 adapter->phc_info->clock->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 adapter->phc_info->clock->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 adapter->phc_info->clock->dev.mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 adapter->phc_info->clock->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 adapter->phc_info->clock->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 adapter->phc_info->clock->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 adapter->phc_info->clock->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 adapter->phc_info->clock->info->n_alarm s32min-4
PARAM_VALUE 0 adapter->phc_info->clock->n_vclocks_mux.dep_map->name 0-255
PARAM_VALUE 0 adapter->phc_info->clock->pincfg_mux.dep_map->name 0-255
PARAM_VALUE 0 adapter->phc_info->clock->pps_source->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 adapter->phc_info->clock->pps_source->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 adapter->phc_info->clock->pps_source->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 adapter->phc_info->clock->pps_source->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 adapter->phc_info->clock->pps_source->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 adapter->phc_info->clock->pps_source->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 adapter->phc_info->clock->pps_source->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 *adapter->ena_dev->net_device->name 0-255
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 0 *adapter->phc_info->clock_info->name 0-255
PARAM_VALUE 1 get_feat_ctx 1450871929613713408
PARAM_VALUE 1 get_feat_ctx->max_queue_ext.version 1
BUF_SIZE 0 adapter s32min-(-1),1-s32max
BUF_SIZE 0 adapter s32min-(-1),1-s32max
CAPPED_DATA 0 adapter->ena_dev->admin_queue.curr_cmd_id 1
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 adapter->phc_info->clock->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf s64min-s64max
HOST_DATA 0 adapter->phc_info->clock->pps_source->dev.shost->hostdata->saved_fault_code 0-u16max
UNITS 0 adapter unit_byte
HALF_LOCKED2 global &rtnl_mutex