Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/rsa-pkcs1pad.c pkcs1pad_encrypt() -> pkcs1pad_encrypt_complete()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->__ctx->child_req.base.list.next->prev 4096-ptr_max
PARAM_VALUE 0 req->__ctx->child_req.base.tfm 4096-ptr_max
PARAM_VALUE 0 req->__ctx->child_req.dst->dma_flags 0,2-u32max
PARAM_VALUE 0 req->__ctx->child_req.src->length 2-u32max
PARAM_VALUE 0 req->__ctx->in_buf 4096-ptr_max
PARAM_VALUE 0 req->__ctx->in_sg 4096-ptr_max
PARAM_VALUE 0 req->__ctx->in_sg->offset 0-4095
PARAM_VALUE 0 req->dst_len 1-u32max
PARAM_VALUE 1 err s32min-(-116),(-114)-(-17),(-15)-s32max
BUF_SIZE 0 req (-1),72-s32max
BUF_SIZE 0 req (-1),72-s32max
CAPPED_DATA 0 req->src_len 1
DATA_SOURCE 0 req $0
DATA_SOURCE 1 err r crypto_akcipher_encrypt
PARAM_COMPARE 0 req->dst_len >= $0->src_len
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 req->dst->length
NO_OVERFLOW_SIMPLE 0 req->dst_len
NO_OVERFLOW_SIMPLE 0 req->src->length
NO_OVERFLOW_SIMPLE 0 req->src_len

crypto/rsa-pkcs1pad.c pkcs1pad_encrypt_complete_cb() -> pkcs1pad_encrypt_complete()

Type Parameter Key Value
PARAM_VALUE 1 err s32min-(-116),(-114)-s32max
BUF_SIZE 0 req 1-s32max
BUF_SIZE 0 req 1-s32max
DATA_SOURCE 0 req $0
DATA_SOURCE 1 err $1
FUZZY_MAX 1 err 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 err
UNITS 0 req unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh