Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/chelsio/chcr_algo.c chcr_handle_cipher_resp() -> chcr_cipher_fallback()

Type Parameter Key Value
PARAM_VALUE 1 req 4096-ptr_max
BUF_SIZE 2 iv s32min-(-2),1-s32max
DATA_SOURCE 1 req $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 iv unit_byte
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/crypto/chelsio/chcr_algo.c process_cipher() -> chcr_cipher_fallback()

Type Parameter Key Value
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->__ctx->imm 0
PARAM_VALUE 1 req->__ctx->partial_req 0
PARAM_VALUE 1 req->__ctx->processed 0
PARAM_VALUE 1 req->__ctx->rxqidx 0
PARAM_VALUE 1 req->__ctx->txqidx 0
PARAM_VALUE 1 req->dst 4096-ptr_max
PARAM_VALUE 1 req->iv 1-u64max
PARAM_VALUE 1 req->src 4096-ptr_max
PARAM_VALUE 3 op_type 0-1
BUF_SIZE 1 req (-1)-s32max
BUF_SIZE 1 req (-1)-s32max
BUF_SIZE 2 iv s32min-(-2),1-s32max
DATA_SOURCE 1 req $0
DATA_SOURCE 3 op_type $3
NOSPEC 1 req->cryptlen
HARD_MAX 3 op_type 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 req->dst->length 0-2147483646[c]
HOST_DATA 1 req->src->length 0-2147483646[c]
USER_DATA 1 req->cryptlen 0-u32max
USER_DATA 1 req->dst->length 1-u32max[c]
USER_DATA 1 req->dst->offset 0-2147551739[c]
USER_DATA 1 req->src->length 1-u32max[c]
USER_DATA 1 req->src->offset 0-2147551739[c]
USER_DATA 1 *req->iv 0-255
USER_DATA 2 *iv 0-255
UNITS 2 iv unit_byte
USER_PTR 1 req->iv
USER_PTR 2 iv
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 tfm_mutex