Defined in 4 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/crypto/ccree/cc_aead.c config_ccm_adata() -> set_msg_len()

Type Parameter Key Value
PARAM_VALUE 2 csize 2-8
FUZZY_MAX 2 csize 8
NOSPEC 1 msglen
HARD_MAX 2 csize 8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 msglen 0-u32max
USER_DATA 2 csize 2-8[c]
UNITS 1 msglen unit_byte

crypto/ccm.c format_input() -> set_msg_len()

Type Parameter Key Value
PARAM_VALUE 2 csize 1-256
DATA_SOURCE 1 msglen $2
NOSPEC 1 msglen
NOSPEC 1 msglen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 msglen 0-u32max
USER_DATA 2 csize 2-256[c]
UNITS 1 msglen unit_byte

drivers/crypto/chelsio/chcr_algo.c generate_b0() -> set_msg_len()

Type Parameter Key Value
PARAM_VALUE 2 csize 1-256
NOSPEC 1 msglen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 msglen 0-u32max
USER_DATA 2 csize 2-256[c]
UNITS 1 msglen unit_byte