Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/sa2ul.c sa_init_sc() -> sa_set_sc_enc()

Type Parameter Key Value
PARAM_VALUE 0 ad 4096-ptr_max
PARAM_VALUE 0 ad->aalg_id 0,12,14-15,17,19
PARAM_VALUE 0 ad->auth_ctrl 0,2,4,6
PARAM_VALUE 0 ad->auth_eng.eng_id 0,4
PARAM_VALUE 0 ad->auth_eng.sc_size 0,96
PARAM_VALUE 0 ad->ctx 0,4096-ptr_max
PARAM_VALUE 0 ad->ealg_id 0,4,6,9
PARAM_VALUE 0 ad->enc_eng.eng_id 0,2
PARAM_VALUE 0 ad->enc_eng.sc_size 64
PARAM_VALUE 0 ad->iv_idx 0,4,6
PARAM_VALUE 0 ad->iv_out_size 0,8,16
PARAM_VALUE 0 ad->prep_iopad 0,7922168093398548480
PARAM_VALUE 3 enc 0-1
PARAM_VALUE 4 sc_buf 4096-ptr_max
BUF_SIZE 0 ad->mci_dec (-1),27
BUF_SIZE 0 ad->mci_enc (-1),27
BUF_SIZE 1 key (-1)-s32max
BUF_SIZE 1 key (-1)-s32max
DATA_SOURCE 0 ad $6
DATA_SOURCE 1 key $2
DATA_SOURCE 2 key_sz $3
DATA_SOURCE 3 enc $7
NOSPEC 2 key_sz
HARD_MAX 0 ad->aalg_id 19
HARD_MAX 0 ad->auth_ctrl 6
HARD_MAX 0 ad->auth_eng.eng_id 4
HARD_MAX 0 ad->auth_eng.sc_size 96
HARD_MAX 0 ad->ealg_id 9
HARD_MAX 0 ad->enc_eng.eng_id 2
HARD_MAX 0 ad->iv_idx 6
HARD_MAX 0 ad->iv_out_size 16
HARD_MAX 3 enc 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *key 0-255
UNITS 1 key unit_byte
UNITS 2 key_sz unit_byte
BYTE_COUNT 1 ==key2 8050
USER_PTR 1 key