Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/core/mmc_ops.c __mmc_poll_for_busy() -> __mmc_poll_for_busy param 3()

Type Parameter Key Value
PARAM_VALUE 0 cb_data 4096-ptr_max
PARAM_VALUE 1 busy 6093714098234200064
PARAM_VALUE 1 *busy 0
BUF_SIZE 0 cb_data s32min-(-1),1-s32max
BUF_SIZE 0 cb_data s32min-(-1),1-s32max
DATA_SOURCE 0 cb_data $4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mq->complete_lock
HALF_LOCKED2 &pool->lock