Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/dma/idxd/cdev.c wq_pasid_enabled() -> device_pasid_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/dma/idxd/device.c idxd_wq_request_irq() -> device_pasid_enabled()

Type Parameter Key Value
PARAM_VALUE 0 idxd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 idxd->cmd_status 0-255
LOCK2 &wq->wq_lock
TYPE_LOCK (struct idxd_wq)->wq_lock

drivers/dma/idxd/device.c wq_pasid_enabled() -> device_pasid_enabled()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &wq->wq_lock

drivers/dma/idxd/init.c idxd_cleanup() -> device_pasid_enabled()

Type Parameter Key Value
PARAM_VALUE 0 idxd 4096-ptr_max
BUF_SIZE 0 idxd 2472
CAPPED_DATA 0 idxd->engines 1
CAPPED_DATA 0 idxd->groups 1
CAPPED_DATA 0 idxd->max_engines 1
CAPPED_DATA 0 idxd->max_groups 1
CAPPED_DATA 0 idxd->max_wqs 1
CAPPED_DATA 0 idxd->wq_enable_map 1
CAPPED_DATA 0 idxd->wqs 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->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

drivers/dma/idxd/init.c idxd_probe() -> device_pasid_enabled()

Type Parameter Key Value
PARAM_VALUE 0 idxd 4096-ptr_max
BUF_SIZE 0 idxd 2472
CAPPED_DATA 0 idxd->max_engines 1
CAPPED_DATA 0 idxd->max_groups 1
CAPPED_DATA 0 idxd->max_wqs 1
DATA_SOURCE 0 idxd $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 idxd->hw s64min-s64max
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->irq_cnt 1[c]
HOST_DATA 0 idxd->max_engines 0-255[c]
HOST_DATA 0 idxd->max_groups 0-255[c]
HOST_DATA 0 idxd->max_rdbufs 0-255
HOST_DATA 0 idxd->max_wq_size 0-u16max
HOST_DATA 0 idxd->max_wqs 0-255[c]
HOST_DATA 0 idxd->nr_rdbufs 0-255
HOST_DATA 0 idxd->pdev->current_state 0-3[c]
HOST_DATA 0 idxd->rdbuf_limit 0-255
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

drivers/dma/idxd/init.c idxd_remove() -> device_pasid_enabled()

Type Parameter Key Value
PARAM_VALUE 0 idxd 4096-ptr_max
BUF_SIZE 0 idxd s32min-(-2),1-s32max
BUF_SIZE 0 idxd s32min-(-2),1-s32max
CAPPED_DATA 0 idxd->dbgfs_dir 1
CAPPED_DATA 0 idxd->idxd_dev.conf_dev.physical_location 1
CAPPED_DATA 0 idxd->max_engines 1
CAPPED_DATA 0 idxd->max_groups 1
CAPPED_DATA 0 idxd->max_wqs 1
CAPPED_DATA 0 &idxd->idxd_dev.conf_dev 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 idxd unit_byte

drivers/dma/idxd/submit.c __get_desc() -> device_pasid_enabled()

Type Parameter Key Value
PARAM_VALUE 0 idxd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING