Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/idxd/sysfs.c idxd_register_devices() -> idxd_register_group_devices()

Type Parameter Key Value
PARAM_VALUE 0 idxd 4096-ptr_max
PARAM_VALUE 0 idxd->data 4096-ptr_max
PARAM_VALUE 0 idxd->data->dev_type 1923295313289650176,9046758095678455808
PARAM_VALUE 0 idxd->id 0-s32max
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->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->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->next 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_ops->alloc 0,1744715142275031040,2065280936184246272,2938795245442469888
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->alloc_pages_op 0,4686288359180861440,6350905364812603392,6978773206971854848
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->dma_supported 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->free 0,4778164490434129920,7144974343242604544,7861694134817480704
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->free_pages 0,239457316199952384,5196233516945883136,7413093576918179840
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->get_required_mask 0,7770840938859397120
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->get_sgtable 0,1322759480623644672
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->map_phys 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->map_sg 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->max_mapping_size 0,8830639662091943936
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->mmap 0,5761417605877342208,7694740394750603264
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->sync_sg_for_cpu 0,4862850025765572608
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->sync_sg_for_device 0,3732476178258022400
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->sync_single_for_cpu 0,1155325867376779264
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->sync_single_for_device 0,8781567156597239808
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->unmap_phys 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.dma_ops->unmap_sg 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440
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->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.flags 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.fwnode->dev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.fwnode->dev->p 1-u64max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.fwnode->suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.fwnode->suppliers.next->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj->name 0-255
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
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->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->next 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.suppliers.next->next 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.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.physical_location->horizontal_position 0-3
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.physical_location->panel 0-7
PARAM_VALUE 0 idxd->idxd_dev.conf_dev.physical_location->vertical_position 0-3
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->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.wait_queue.head.next->next 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 s32min-6
PARAM_VALUE 0 idxd->opcap_bmap 1-u64max
PARAM_VALUE 0 idxd->pdev 4096-ptr_max
PARAM_VALUE 0 idxd->pdev->driver 4096-ptr_max
PARAM_VALUE 0 idxd->pdev->is_virtfn 0
PARAM_VALUE 0 idxd->reg_base 4096-ptr_max
BUF_SIZE 0 idxd 2472
CAPPED_DATA 0 idxd->max_engines 1
CAPPED_DATA 0 idxd->max_wqs 1
CAPPED_DATA 0 &idxd->idxd_dev.conf_dev 1
DATA_SOURCE 0 idxd $0
RX_PATH
TASK_NOT_RUNNING
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-15
HOST_DATA 0 idxd->hw.dsacap0.max_sg_process 0-255
HOST_DATA 0 idxd->hw.dsacap0.max_sgl_shift 0-15
HOST_DATA 0 idxd->hw.dsacap0.ops_inter_domain 0-127
HOST_DATA 0 idxd->hw.dsacap0.rsvd1 0-131071
HOST_DATA 0 idxd->hw.dsacap0.rsvd2 0-255
HOST_DATA 0 idxd->hw.dsacap0.sgl_formats 0-u16max
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-255
HOST_DATA 0 idxd->hw.engine_cap.rsvd 0-72057594037927935
HOST_DATA 0 idxd->hw.gen_cap.batch_continuation 0-1
HOST_DATA 0 idxd->hw.gen_cap.bits 0-u64max
HOST_DATA 0 idxd->hw.gen_cap.block_on_fault 0-1
HOST_DATA 0 idxd->hw.gen_cap.cache_control_cache 0-1
HOST_DATA 0 idxd->hw.gen_cap.cache_control_mem 0-1
HOST_DATA 0 idxd->hw.gen_cap.cmd_cap 0-1
HOST_DATA 0 idxd->hw.gen_cap.config_en 0-1
HOST_DATA 0 idxd->hw.gen_cap.dest_readback 0-1
HOST_DATA 0 idxd->hw.gen_cap.drain_readback 0-1
HOST_DATA 0 idxd->hw.gen_cap.evl_support 0-3
HOST_DATA 0 idxd->hw.gen_cap.max_batch_shift 0-15
HOST_DATA 0 idxd->hw.gen_cap.max_ims_mult 0-63
HOST_DATA 0 idxd->hw.gen_cap.max_xfer_shift 0-31
HOST_DATA 0 idxd->hw.gen_cap.overlap_copy 0-1
HOST_DATA 0 idxd->hw.gen_cap.rsvd 0-7
HOST_DATA 0 idxd->hw.gen_cap.rsvd2 0-7
HOST_DATA 0 idxd->hw.gen_cap.rsvd3 0-u32max
HOST_DATA 0 idxd->hw.group_cap.bits 0-u64max
HOST_DATA 0 idxd->hw.group_cap.num_groups 0-255
HOST_DATA 0 idxd->hw.group_cap.progress_limit 0-1
HOST_DATA 0 idxd->hw.group_cap.rdbuf_ctrl 0-1
HOST_DATA 0 idxd->hw.group_cap.rdbuf_limit 0-1
HOST_DATA 0 idxd->hw.group_cap.rsvd 0-35184372088831
HOST_DATA 0 idxd->hw.group_cap.total_rdbufs 0-255
HOST_DATA 0 idxd->hw.iaa_cap.bits 0-u64max
HOST_DATA 0 idxd->hw.iaa_cap.chaining 0-1
HOST_DATA 0 idxd->hw.iaa_cap.comp_early_abort 0-1
HOST_DATA 0 idxd->hw.iaa_cap.crypto_cfb 0-1
HOST_DATA 0 idxd->hw.iaa_cap.crypto_gcm 0-1
HOST_DATA 0 idxd->hw.iaa_cap.crypto_xts 0-1
HOST_DATA 0 idxd->hw.iaa_cap.dec_aecs_format_ver 0-1
HOST_DATA 0 idxd->hw.iaa_cap.diction_comp 0-1
HOST_DATA 0 idxd->hw.iaa_cap.drop_init_bits 0-1
HOST_DATA 0 idxd->hw.iaa_cap.force_array_output_mod 0-1
HOST_DATA 0 idxd->hw.iaa_cap.header_gen 0-1
HOST_DATA 0 idxd->hw.iaa_cap.load_part_aecs 0-1
HOST_DATA 0 idxd->hw.iaa_cap.nested_comp 0-1
HOST_DATA 0 idxd->hw.iaa_cap.rsvd 0-4503599627370495
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-1
HOST_DATA 0 idxd->hw.wq_cap.num_wqs 0-255
HOST_DATA 0 idxd->hw.wq_cap.occupancy 0-1
HOST_DATA 0 idxd->hw.wq_cap.occupancy_int 0-1
HOST_DATA 0 idxd->hw.wq_cap.op_config 0-1
HOST_DATA 0 idxd->hw.wq_cap.priority 0-1
HOST_DATA 0 idxd->hw.wq_cap.rsvd 0-1048575
HOST_DATA 0 idxd->hw.wq_cap.rsvd4 0-255
HOST_DATA 0 idxd->hw.wq_cap.shared_mode 0-1
HOST_DATA 0 idxd->hw.wq_cap.total_wq_size 0-u16max
HOST_DATA 0 idxd->hw.wq_cap.wq_ats_support 0-1
HOST_DATA 0 idxd->hw.wq_cap.wq_prs_support 0-1
HOST_DATA 0 idxd->hw.wq_cap.wqcfg_size 0-15
HOST_DATA 0 idxd->idxd_dev.conf_dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf s64min-s64max
HOST_DATA 0 idxd->idxd_dev.conf_dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.ctl 0-255
HOST_DATA 0 idxd->idxd_dev.conf_dev.shost->hostdata->saved_fault_code 0-u16max
HOST_DATA 0 idxd->irq_cnt 1[c]
HOST_DATA 0 idxd->max_batch_size 1
HOST_DATA 0 idxd->max_rdbufs 0
HOST_DATA 0 idxd->max_sgl_size 1
HOST_DATA 0 idxd->max_wq_size 0-u16max
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