Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/dma/idxd/irq.c idxd_halt() -> idxd_mask_error_interrupts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idxd | 4096-ptr_max |
| PARAM_VALUE | 0 | idxd->reg_base | 4096-ptr_max |
| PARAM_VALUE | 0 | idxd->state | (-1) |
| DATA_SOURCE | 0 | idxd | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/dma/idxd/init.c idxd_cleanup_interrupts() -> idxd_mask_error_interrupts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idxd | 4096-ptr_max |
| PARAM_VALUE | 0 | idxd->data->dev_type | 1923295313289650176,9046758095678455808 |
| PARAM_VALUE | 0 | idxd->idxd_dev.conf_dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | idxd->idxd_dev.conf_dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | idxd->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | idxd->pdev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 0 | idxd->pdev->msix_cap | 1-255 |
| PARAM_VALUE | 0 | *idxd->pdev->saved_config_space | 0-4294967295 |
| BUF_SIZE | 0 | idxd | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | idxd | s32min-(-2),1-s32max |
| 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-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_rdbufs | 0-255 |
| HOST_DATA | 0 | idxd->max_wq_size | 0-u16max |
| 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 | |
| UNITS | 0 | idxd | unit_byte |
drivers/dma/idxd/init.c idxd_setup_interrupts() -> idxd_mask_error_interrupts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idxd | 4096-ptr_max |
| PARAM_VALUE | 0 | idxd->data->dev_type | 1923295313289650176,9046758095678455808 |
| PARAM_VALUE | 0 | idxd->idxd_dev.conf_dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | idxd->irq_cnt | 1 |
| PARAM_VALUE | 0 | idxd->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | idxd->pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | idxd->pdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | idxd->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | idxd->pdev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 0 | idxd->pdev->is_msi_managed | 1 |
| PARAM_VALUE | 0 | idxd->pdev->msix_base | 4096-ptr_max |
| PARAM_VALUE | 0 | idxd->pdev->msix_cap | 1-255 |
| PARAM_VALUE | 0 | idxd->pdev->msix_enabled | 1 |
| PARAM_VALUE | 0 | *idxd->pdev->saved_config_space | 0-4294967295 |
| BUF_SIZE | 0 | idxd | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | idxd | s32min-(-2),1-s32max |
| 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-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 | |
| UNITS | 0 | idxd | unit_byte |
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/dma/idxd/init.c idxd_shutdown() -> idxd_mask_error_interrupts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idxd | 4096-ptr_max |
| PARAM_VALUE | 0 | idxd->reg_base | 4096-ptr_max |
| BUF_SIZE | 0 | idxd | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | idxd | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | idxd->cmd_status | 0-255 |
| UNITS | 0 | idxd | unit_byte |
| HALF_LOCKED2 | &dev->mutex |