Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/intel/qat/qat_common/qat_uclo.c qat_uclo_wr_uimage_page() -> qat_hal_set_pc()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->chip_info 4096-ptr_max
PARAM_VALUE 0 handle->chip_info->fw_auth 0
PARAM_VALUE 0 handle->hal_handle 4096-ptr_max
PARAM_VALUE 0 handle->hal_handle->ae_max_num 1-64
PARAM_VALUE 0 handle->obj_handle 4096-ptr_max
PARAM_VALUE 0 handle->obj_handle->global_inited s32min-(-1),1-s32max
PARAM_VALUE 0 handle->pci_dev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 handle->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 ae 0-63
CAPPED_DATA 1 ae 1
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 ae r find_next_bit
PARAM_COMPARE 1 ae < $0->hal_handle->ae_max_num
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &accel_dev->state_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 global &pci_rescan_remove_lock
TYPE_LOCK (struct adf_accel_dev)->state_lock