Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ufs/core/ufshcd.c ufshcd_sl_intr() -> ufshcd_check_errors()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 1 intr_status 1-u32max
CAPPED_DATA 1 intr_status 1
DATA_SOURCE 0 hba $0
DATA_SOURCE 1 intr_status $1
HOST_DATA 0 hba->active_uic_cmd->argument1 0-u32max
HOST_DATA 0 hba->active_uic_cmd->argument2 0-u32max
HOST_DATA 0 hba->active_uic_cmd->argument3 0-u32max
HOST_DATA 0 hba->active_uic_cmd->cmd_active 0-1
HOST_DATA 0 hba->active_uic_cmd->command 0-u32max
HOST_DATA 0 hba->active_uic_cmd->done.wait.lock.magic 0-u32max
HOST_DATA 0 hba->active_uic_cmd->done.wait.lock.raw_lock.locked 0-255
HOST_DATA 0 hba->active_uic_cmd->done.wait.lock.raw_lock.locked_pending 0-u16max
HOST_DATA 0 hba->active_uic_cmd->done.wait.lock.raw_lock.pending 0-255
HOST_DATA 0 hba->active_uic_cmd->done.wait.lock.raw_lock.tail 0-u16max
HOST_DATA 0 hba->active_uic_cmd->done.wait.lock.raw_lock.val.counter s32min-s32max
HOST_DATA 0 hba->errors 0-u32max[c]
HOST_DATA 0 *hba->active_uic_cmd s64min-s64max
HOST_DATA 1 intr_status 1-u32max[c]