Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/dma/idxd/sysfs.c wq_max_batch_size_store() -> idxd_wq_set_max_batch_size()

Type Parameter Key Value
PARAM_VALUE 1 wq 4096-ptr_max
PARAM_VALUE 2 max_batch_size 1-u32max
CAPPED_DATA 2 max_batch_size 1
CAPPED_DATA 2 max_batch_size 1
DATA_SOURCE 1 wq r confdev_to_wq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 max_batch_size
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dma/idxd/device.c idxd_wq_disable_cleanup() -> idxd_wq_set_max_batch_size()

Type Parameter Key Value
PARAM_VALUE 1 wq 4096-ptr_max
PARAM_VALUE 2 max_batch_size 32
BUF_SIZE 1 wq->wq (-1),512,528-8720
DATA_SOURCE 1 wq $0
MEM_ZERO 1 wq->name
MEM_ZERO 1 wq->wqcfg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 wq->idxd->cmd_status 0-255
NO_OVERFLOW_SIMPLE 1 wq->idxd->max_wqs
HALF_LOCKED2 1 &wq->wq_lock

drivers/dma/idxd/device.c idxd_wq_load_config() -> idxd_wq_set_max_batch_size()

Type Parameter Key Value
PARAM_VALUE 1 wq 4096-ptr_max
DATA_SOURCE 1 wq $0
POWER_OF_TWO 1 *wq
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 wq->priority 0-15
HOST_DATA 1 wq->size 0-u16max
HOST_DATA 1 wq->threshold 0-u16max
HOST_DATA 1 wq->wqcfg->bof 0-1
HOST_DATA 1 wq->wqcfg->max_batch_shift 0-15
HOST_DATA 1 wq->wqcfg->max_sgl_shift 0-15
HOST_DATA 1 wq->wqcfg->max_xfer_shift 0-31
HOST_DATA 1 wq->wqcfg->mode 1
HOST_DATA 1 wq->wqcfg->mode_support 0-1
HOST_DATA 1 wq->wqcfg->occupancy 0-u16max
HOST_DATA 1 wq->wqcfg->occupancy_int 0-1
HOST_DATA 1 wq->wqcfg->occupancy_int_en 0-1
HOST_DATA 1 wq->wqcfg->occupancy_inth 0-u16max
HOST_DATA 1 wq->wqcfg->occupancy_limit 0-u16max
HOST_DATA 1 wq->wqcfg->occupancy_table_sel 0-1
HOST_DATA 1 wq->wqcfg->pasid 0-1048575
HOST_DATA 1 wq->wqcfg->pasid_en 0
HOST_DATA 1 wq->wqcfg->priority 0-15
HOST_DATA 1 wq->wqcfg->priv 0-1
HOST_DATA 1 wq->wqcfg->rsvd 0-u16max
HOST_DATA 1 wq->wqcfg->rsvd1 0-u16max
HOST_DATA 1 wq->wqcfg->rsvd3 0-3
HOST_DATA 1 wq->wqcfg->rsvd4 0-524287
HOST_DATA 1 wq->wqcfg->rsvd5 0-s16max
HOST_DATA 1 wq->wqcfg->rsvd6 0-s16max
HOST_DATA 1 wq->wqcfg->rsvd7 0-4095
HOST_DATA 1 wq->wqcfg->rsvd8 0-u32max
HOST_DATA 1 wq->wqcfg->wq_ats_disable 0-1
HOST_DATA 1 wq->wqcfg->wq_prs_disable 0-1
HOST_DATA 1 wq->wqcfg->wq_size 0-u16max
HOST_DATA 1 wq->wqcfg->wq_state 0-3
HOST_DATA 1 wq->wqcfg->wq_thresh 0-u16max
HOST_DATA 1 *wq->wqcfg 0-255
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/dma/idxd/init.c idxd_setup_wqs() -> idxd_wq_set_max_batch_size()

Type Parameter Key Value
PARAM_VALUE 0 idxd_type 0-1
PARAM_VALUE 1 wq 4096-ptr_max
PARAM_VALUE 2 max_batch_size 32
BUF_SIZE 1 wq 3840
DATA_SOURCE 1 wq r _kmalloc_node_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 wq->idxd->hw.cmd_cap 0-u32max
HOST_DATA 1 wq->idxd->hw.dsacap0.bits 0-u64max
HOST_DATA 1 wq->idxd->hw.dsacap0.max_gr_block_shift 0
HOST_DATA 1 wq->idxd->hw.dsacap0.max_sg_process 0
HOST_DATA 1 wq->idxd->hw.dsacap0.max_sgl_shift 0
HOST_DATA 1 wq->idxd->hw.dsacap0.ops_inter_domain 0
HOST_DATA 1 wq->idxd->hw.dsacap0.rsvd1 0
HOST_DATA 1 wq->idxd->hw.dsacap0.rsvd2 0
HOST_DATA 1 wq->idxd->hw.dsacap0.sgl_formats 0
HOST_DATA 1 wq->idxd->hw.dsacap1.bits 0-u64max
HOST_DATA 1 wq->idxd->hw.dsacap2.bits 0-u64max
HOST_DATA 1 wq->idxd->hw.engine_cap.bits 0-u64max
HOST_DATA 1 wq->idxd->hw.engine_cap.num_engines 0
HOST_DATA 1 wq->idxd->hw.engine_cap.rsvd 0
HOST_DATA 1 wq->idxd->hw.gen_cap.batch_continuation 0
HOST_DATA 1 wq->idxd->hw.gen_cap.bits 0-u64max
HOST_DATA 1 wq->idxd->hw.gen_cap.block_on_fault 0
HOST_DATA 1 wq->idxd->hw.gen_cap.cache_control_cache 0
HOST_DATA 1 wq->idxd->hw.gen_cap.cache_control_mem 0
HOST_DATA 1 wq->idxd->hw.gen_cap.cmd_cap 0-1
HOST_DATA 1 wq->idxd->hw.gen_cap.config_en 0
HOST_DATA 1 wq->idxd->hw.gen_cap.dest_readback 0
HOST_DATA 1 wq->idxd->hw.gen_cap.drain_readback 0
HOST_DATA 1 wq->idxd->hw.gen_cap.evl_support 0
HOST_DATA 1 wq->idxd->hw.gen_cap.max_batch_shift 0
HOST_DATA 1 wq->idxd->hw.gen_cap.max_ims_mult 0
HOST_DATA 1 wq->idxd->hw.gen_cap.max_xfer_shift 0
HOST_DATA 1 wq->idxd->hw.gen_cap.overlap_copy 0
HOST_DATA 1 wq->idxd->hw.gen_cap.rsvd 0
HOST_DATA 1 wq->idxd->hw.gen_cap.rsvd2 0
HOST_DATA 1 wq->idxd->hw.gen_cap.rsvd3 0
HOST_DATA 1 wq->idxd->hw.group_cap.bits 0-u64max
HOST_DATA 1 wq->idxd->hw.group_cap.num_groups 0
HOST_DATA 1 wq->idxd->hw.group_cap.progress_limit 0
HOST_DATA 1 wq->idxd->hw.group_cap.rdbuf_ctrl 0
HOST_DATA 1 wq->idxd->hw.group_cap.rdbuf_limit 0
HOST_DATA 1 wq->idxd->hw.group_cap.rsvd 0
HOST_DATA 1 wq->idxd->hw.group_cap.total_rdbufs 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.bits 0-u64max
HOST_DATA 1 wq->idxd->hw.iaa_cap.chaining 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.comp_early_abort 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.crypto_cfb 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.crypto_gcm 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.crypto_xts 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.dec_aecs_format_ver 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.diction_comp 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.drop_init_bits 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.force_array_output_mod 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.header_gen 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.load_part_aecs 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.nested_comp 0
HOST_DATA 1 wq->idxd->hw.iaa_cap.rsvd 0
HOST_DATA 1 wq->idxd->hw.version 0-u32max
HOST_DATA 1 wq->idxd->hw.wq_cap.bits 0-u64max
HOST_DATA 1 wq->idxd->hw.wq_cap.dedicated_mode 0
HOST_DATA 1 wq->idxd->hw.wq_cap.num_wqs 0
HOST_DATA 1 wq->idxd->hw.wq_cap.occupancy 0
HOST_DATA 1 wq->idxd->hw.wq_cap.occupancy_int 0
HOST_DATA 1 wq->idxd->hw.wq_cap.op_config 0
HOST_DATA 1 wq->idxd->hw.wq_cap.priority 0
HOST_DATA 1 wq->idxd->hw.wq_cap.rsvd 0
HOST_DATA 1 wq->idxd->hw.wq_cap.rsvd4 0
HOST_DATA 1 wq->idxd->hw.wq_cap.shared_mode 0
HOST_DATA 1 wq->idxd->hw.wq_cap.total_wq_size 0
HOST_DATA 1 wq->idxd->hw.wq_cap.wq_ats_support 0
HOST_DATA 1 wq->idxd->hw.wq_cap.wq_prs_support 0
HOST_DATA 1 wq->idxd->hw.wq_cap.wqcfg_size 0
HOST_DATA 1 wq->idxd->max_batch_size 1
HOST_DATA 1 wq->idxd->max_engines 0
HOST_DATA 1 wq->idxd->max_groups 0
HOST_DATA 1 wq->idxd->max_rdbufs 0
HOST_DATA 1 wq->idxd->max_sgl_size 1
HOST_DATA 1 wq->idxd->max_wq_size 0
HOST_DATA 1 wq->idxd->max_xfer_bytes 1
HOST_DATA 1 wq->idxd->nr_rdbufs 0
HOST_DATA 1 wq->idxd->wqcfg_size 32[c]
NO_OVERFLOW_SIMPLE 1 wq->id
NO_OVERFLOW_SIMPLE 1 wq->idxd->max_wqs
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock