Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/idxd/perfmon.c perfmon_reset() -> perfmon_reset_counters()

Type Parameter Key Value
PARAM_VALUE 0 idxd 4096-ptr_max
PARAM_VALUE 0 idxd->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 idxd->cmd_waitq.head.next 4096-ptr_max
PARAM_VALUE 0 idxd->cmd_waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->cmd_waitq.head.prev 4096-ptr_max
PARAM_VALUE 0 idxd->cmd_waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 idxd->cmd_waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 idxd->data 4096-ptr_max
PARAM_VALUE 0 idxd->data->dev_type 1923295313289650176,9046758095678455808
PARAM_VALUE 0 idxd->data->type 0-1
PARAM_VALUE 0 idxd->engines 1-u64max
PARAM_VALUE 0 idxd->groups 1-u64max
PARAM_VALUE 0 idxd->id 0-s32max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_uses_io_tlb 0
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.flags 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj->name 0-255
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.entry.next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.entry.prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.ktype->child_ns_type 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.ktype->get_ownership 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.name 1-u64max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.state_initialized 1
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.status 0
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.numa_node (-1)
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.disable_depth 1
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.early_init 1
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.last_status (-1)
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.qos 0
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.request 0
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.runtime_auto 1
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.runtime_status 2
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.type (-1)-0
PARAM_VALUE 0 idxd->idxd_pmu 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_pmu->idxd 4096-ptr_max
PARAM_VALUE 0 idxd->major 0-4095
PARAM_VALUE 0 idxd->max_batch_size 0-1
PARAM_VALUE 0 idxd->max_engines 0
PARAM_VALUE 0 idxd->max_groups 0
PARAM_VALUE 0 idxd->max_rdbufs 0
PARAM_VALUE 0 idxd->max_sgl_size 0-1
PARAM_VALUE 0 idxd->max_wq_size 0
PARAM_VALUE 0 idxd->max_wqs 0
PARAM_VALUE 0 idxd->max_xfer_bytes 1
PARAM_VALUE 0 idxd->nr_rdbufs 0
PARAM_VALUE 0 idxd->opcap_bmap 1-u64max
PARAM_VALUE 0 idxd->pdev 4096-ptr_max
PARAM_VALUE 0 idxd->pdev->dev.iommu_group->recovery_cnt 0-4294967295
PARAM_VALUE 0 idxd->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 idxd->pdev->driver 4096-ptr_max
PARAM_VALUE 0 idxd->pdev->is_virtfn 0
PARAM_VALUE 0 idxd->pdev->sriov->offset 0-u16max
PARAM_VALUE 0 idxd->pdev->sriov->stride 0-u16max
PARAM_VALUE 0 idxd->perfmon_offset 1-u32max
PARAM_VALUE 0 idxd->reg_base 4096-ptr_max
PARAM_VALUE 0 idxd->wq 4096-ptr_max
PARAM_VALUE 0 idxd->wq->flags 0-4294967295
PARAM_VALUE 0 idxd->wq->flush_color s32min-s32max
PARAM_VALUE 0 idxd->wq->nr_drainers s32min-s32max
PARAM_VALUE 0 idxd->wq->work_color s32min-s32max
PARAM_VALUE 0 idxd->wq->wq_dev 0-s64max
PARAM_VALUE 0 idxd->wq_enable_map 1-u64max
PARAM_VALUE 0 idxd->wqcfg_size 32
PARAM_VALUE 0 idxd->wqs 1-u64max
BUF_SIZE 0 idxd->idxd_pmu 1088
DATA_SOURCE 0 idxd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 idxd->hw->cmd_cap 0-u32max
HOST_DATA 0 idxd->hw->version 0-u32max
HOST_DATA 0 idxd->hw.cmd_cap 0-u32max
HOST_DATA 0 idxd->hw.dsacap0.bits 0-u64max
HOST_DATA 0 idxd->hw.dsacap0.max_gr_block_shift 0
HOST_DATA 0 idxd->hw.dsacap0.max_sg_process 0
HOST_DATA 0 idxd->hw.dsacap0.max_sgl_shift 0
HOST_DATA 0 idxd->hw.dsacap0.ops_inter_domain 0
HOST_DATA 0 idxd->hw.dsacap0.rsvd1 0
HOST_DATA 0 idxd->hw.dsacap0.rsvd2 0
HOST_DATA 0 idxd->hw.dsacap0.sgl_formats 0
HOST_DATA 0 idxd->hw.dsacap1.bits 0-u64max
HOST_DATA 0 idxd->hw.dsacap2.bits 0-u64max
HOST_DATA 0 idxd->hw.engine_cap.bits 0-u64max
HOST_DATA 0 idxd->hw.engine_cap.num_engines 0
HOST_DATA 0 idxd->hw.engine_cap.rsvd 0
HOST_DATA 0 idxd->hw.gen_cap.batch_continuation 0
HOST_DATA 0 idxd->hw.gen_cap.bits 0-u64max
HOST_DATA 0 idxd->hw.gen_cap.block_on_fault 0
HOST_DATA 0 idxd->hw.gen_cap.cache_control_cache 0
HOST_DATA 0 idxd->hw.gen_cap.cache_control_mem 0
HOST_DATA 0 idxd->hw.gen_cap.cmd_cap 0-1
HOST_DATA 0 idxd->hw.gen_cap.config_en 0
HOST_DATA 0 idxd->hw.gen_cap.dest_readback 0
HOST_DATA 0 idxd->hw.gen_cap.drain_readback 0
HOST_DATA 0 idxd->hw.gen_cap.evl_support 0
HOST_DATA 0 idxd->hw.gen_cap.max_batch_shift 0
HOST_DATA 0 idxd->hw.gen_cap.max_ims_mult 0
HOST_DATA 0 idxd->hw.gen_cap.max_xfer_shift 0
HOST_DATA 0 idxd->hw.gen_cap.overlap_copy 0
HOST_DATA 0 idxd->hw.gen_cap.rsvd 0
HOST_DATA 0 idxd->hw.gen_cap.rsvd2 0
HOST_DATA 0 idxd->hw.gen_cap.rsvd3 0
HOST_DATA 0 idxd->hw.group_cap.bits 0-u64max
HOST_DATA 0 idxd->hw.group_cap.num_groups 0
HOST_DATA 0 idxd->hw.group_cap.progress_limit 0
HOST_DATA 0 idxd->hw.group_cap.rdbuf_ctrl 0
HOST_DATA 0 idxd->hw.group_cap.rdbuf_limit 0
HOST_DATA 0 idxd->hw.group_cap.rsvd 0
HOST_DATA 0 idxd->hw.group_cap.total_rdbufs 0
HOST_DATA 0 idxd->hw.iaa_cap.bits 0-u64max
HOST_DATA 0 idxd->hw.iaa_cap.chaining 0
HOST_DATA 0 idxd->hw.iaa_cap.comp_early_abort 0
HOST_DATA 0 idxd->hw.iaa_cap.crypto_cfb 0
HOST_DATA 0 idxd->hw.iaa_cap.crypto_gcm 0
HOST_DATA 0 idxd->hw.iaa_cap.crypto_xts 0
HOST_DATA 0 idxd->hw.iaa_cap.dec_aecs_format_ver 0
HOST_DATA 0 idxd->hw.iaa_cap.diction_comp 0
HOST_DATA 0 idxd->hw.iaa_cap.drop_init_bits 0
HOST_DATA 0 idxd->hw.iaa_cap.force_array_output_mod 0
HOST_DATA 0 idxd->hw.iaa_cap.header_gen 0
HOST_DATA 0 idxd->hw.iaa_cap.load_part_aecs 0
HOST_DATA 0 idxd->hw.iaa_cap.nested_comp 0
HOST_DATA 0 idxd->hw.iaa_cap.rsvd 0
HOST_DATA 0 idxd->hw.version 0-u32max
HOST_DATA 0 idxd->hw.wq_cap.bits 0-u64max
HOST_DATA 0 idxd->hw.wq_cap.dedicated_mode 0
HOST_DATA 0 idxd->hw.wq_cap.num_wqs 0
HOST_DATA 0 idxd->hw.wq_cap.occupancy 0
HOST_DATA 0 idxd->hw.wq_cap.occupancy_int 0
HOST_DATA 0 idxd->hw.wq_cap.op_config 0
HOST_DATA 0 idxd->hw.wq_cap.priority 0
HOST_DATA 0 idxd->hw.wq_cap.rsvd 0
HOST_DATA 0 idxd->hw.wq_cap.rsvd4 0
HOST_DATA 0 idxd->hw.wq_cap.shared_mode 0
HOST_DATA 0 idxd->hw.wq_cap.total_wq_size 0
HOST_DATA 0 idxd->hw.wq_cap.wq_ats_support 0
HOST_DATA 0 idxd->hw.wq_cap.wq_prs_support 0
HOST_DATA 0 idxd->hw.wq_cap.wqcfg_size 0
HOST_DATA 0 idxd->irq_cnt 1[c]
HOST_DATA 0 idxd->max_batch_size 1
HOST_DATA 0 idxd->max_engines 0[c]
HOST_DATA 0 idxd->max_groups 0[c]
HOST_DATA 0 idxd->max_rdbufs 0
HOST_DATA 0 idxd->max_sgl_size 1
HOST_DATA 0 idxd->max_wq_size 0
HOST_DATA 0 idxd->max_wqs 0[c]
HOST_DATA 0 idxd->max_xfer_bytes 1
HOST_DATA 0 idxd->nr_rdbufs 0
HOST_DATA 0 idxd->pdev->current_state 0-3[c]
HOST_DATA 0 idxd->rdbuf_limit 0-255
HOST_DATA 0 idxd->wqcfg_size 32[c]
NO_OVERFLOW_SIMPLE 0 idxd->max_engines
NO_OVERFLOW_SIMPLE 0 idxd->max_groups
NO_OVERFLOW_SIMPLE 0 idxd->max_wqs
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock