Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/ecc-realtek.c rtl_ecc_run_engine() -> rtl_ecc_wait_for_engine()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->parity_size 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 ctx->rtlc 4096-ptr_max
PARAM_VALUE 0 ctx->rtlc->buf 0,4096-ptr_max
PARAM_VALUE 0 ctx->rtlc->dev->flags 4096-ptr_max
PARAM_VALUE 0 ctx->rtlc->lock.dep_map->name 0-255
PARAM_VALUE 0 ctx->rtlc->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ctx->rtlc->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ctx->rtlc->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ctx->rtlc->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ctx->rtlc->lock.wait_lock.owner (-1)
PARAM_VALUE 0 ctx->rtlc->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 ctx->rtlc->regmap 4096-ptr_max
PARAM_VALUE 0 ctx->steps 1-s32max
BUF_SIZE 0 ctx 1,20,32,68,128,136,152,224
BUF_SIZE 0 ctx 1,20,32,68,128,136,152,224
DATA_SOURCE 0 ctx $0
NOSPEC 0 ctx->req_ctx.orig_req.datalen
NOSPEC 0 ctx->req_ctx.orig_req.ooblen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctx->req_ctx.orig_req.datalen 0-u32max[c]
HOST_DATA 0 ctx->req_ctx.orig_req.dataoffs 0-4294967294[c]
HOST_DATA 0 ctx->req_ctx.orig_req.pos.eraseblock 0-4294967294[c]
HOST_DATA 0 ctx->req_ctx.orig_req.pos.lun 0-4294967294[c]
HOST_DATA 0 ctx->req_ctx.orig_req.pos.page 0-u32max[c]
HOST_DATA 0 ctx->req_ctx.orig_req.pos.plane 0-4294967294[c]
HOST_DATA 0 ctx->req_ctx.orig_req.pos.target 0-4294967294[c]
USER_DATA 0 ctx->req_ctx.orig_req.datalen 0-u32max[c]
USER_DATA 0 ctx->req_ctx.orig_req.dataoffs 0-4294967294[c]
USER_DATA 0 ctx->req_ctx.orig_req.mode 0-1,3-255
USER_DATA 0 ctx->req_ctx.orig_req.ooblen 0-s32max[c]
USER_DATA 0 ctx->req_ctx.orig_req.ooboffs 0-u32max[c]
USER_DATA 0 ctx->req_ctx.orig_req.pos.page 0-u32max[c]
USER_DATA 0 *ctx->rtlc->buf 0-255
LOCK2 &rtlc->lock
TYPE_LOCK (struct rtl_ecc_engine)->lock