Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->rtlc->buf 0,4096-ptr_max
PARAM_VALUE 0 ctx->steps 1-s32max
PARAM_VALUE 4 operation 0
BUF_SIZE 0 ctx 1,20,32,68,128,136,152,224
BUF_SIZE 0 ctx 1,20,32,68,128,136,152,224
BUF_SIZE 1 data (-1)-s32max
BUF_SIZE 1 data (-1)-s32max
BUF_SIZE 2 free (-1),2
BUF_SIZE 2 free (-1),2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *ctx->rtlc->buf 0-255
USER_DATA 1 *data 0-255
USER_DATA 2 *free 0-255
USER_DATA 3 *parity 0-255
UNITS 1 data unit_byte
UNITS 2 free unit_byte
UNITS 3 parity unit_byte
USER_PTR 1 data
USER_PTR 2 free
USER_PTR 3 parity

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->req_ctx.nand 4096-ptr_max
PARAM_VALUE 0 ctx->req_ctx.orig_req.mode s32min-1,3-s32max
PARAM_VALUE 0 ctx->rtlc->buf 0,4096-ptr_max
PARAM_VALUE 0 ctx->steps 1-s32max
PARAM_VALUE 4 operation 1
BUF_SIZE 0 ctx 1,20,32,68,128,136,152,224
BUF_SIZE 0 ctx 1,20,32,68,128,136,152,224
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
USER_DATA 1 *data 0-255
USER_DATA 2 *free 0-255
USER_DATA 3 *parity 0-255
UNITS 1 data unit_byte
UNITS 2 free unit_byte
UNITS 3 parity unit_byte