Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ufs/host/ufs-renesas.c ufs_renesas_r8a779f0_es10_pre_init() -> ufs_renesas_init_enable_timer()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 1 timer_val 0-u16max
DATA_SOURCE 0 hba $0
DATA_SOURCE 1 timer_val r ufs_renesas_init_disable_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 timer_val 0-u16max
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_buf_flush_enabled
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_enabled
HALF_LOCKED2 0 &hba->host_sem

drivers/ufs/host/ufs-renesas.c ufs_renesas_r8a779f0_pre_init() -> ufs_renesas_init_enable_timer()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 1 timer_val 0-u16max
DATA_SOURCE 0 hba $0
DATA_SOURCE 1 timer_val r ufs_renesas_init_disable_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 timer_val 0-u16max
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_buf_flush_enabled
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_enabled
HALF_LOCKED2 0 &hba->host_sem