Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/crypto/marvell/octeontx2/otx2_cptvf_algs.c create_aead_null_output_list() -> update_output_data()

Type Parameter Key Value
PARAM_VALUE 1 outp_sg 4096-ptr_max
PARAM_VALUE 1 outp_sg->length 1-u32max
PARAM_VALUE 2 offset 0-4294967294
PARAM_VALUE 4 argcnt 7289876477239623680
PARAM_VALUE 4 *argcnt 0
BUF_SIZE 0 req_info 2472
CAPPED_DATA 2 offset 1
DATA_SOURCE 3 nbytes $2
PARAM_COMPARE 1 outp_sg->length > $2
PARAM_COMPARE 2 offset < $1->length
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 outp_sg->length 1-2147483646[c]
USER_DATA 1 outp_sg->length 1-u32max[c]
USER_DATA 1 outp_sg->offset 0-2147551739[c]
NO_OVERFLOW_SIMPLE 1 outp_sg->length
NO_OVERFLOW_SIMPLE 2 offset
UNITS 1 outp_sg unit_byte
UNITS 2 offset unit_byte

drivers/crypto/marvell/octeontx2/otx2_cptvf_algs.c create_aead_output_list() -> update_output_data()

Type Parameter Key Value
PARAM_VALUE 2 offset 0
PARAM_VALUE 4 argcnt 368739513073614848
PARAM_VALUE 4 *argcnt 0
BUF_SIZE 0 req_info 2472
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 outp_sg->length 0-2147483646[c]
USER_DATA 1 outp_sg->length 1-2147483646[c]
USER_DATA 1 outp_sg->offset 0-2147551739[c]
NO_OVERFLOW_SIMPLE 1 outp_sg->length
UNITS 1 outp_sg unit_byte
UNITS 3 nbytes unit_byte

drivers/crypto/marvell/octeontx2/otx2_cptvf_algs.c create_output_list() -> update_output_data()

Type Parameter Key Value
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 nbytes 1-u16max
PARAM_VALUE 4 argcnt 5876843125126455296
PARAM_VALUE 4 *argcnt 0
BUF_SIZE 0 req_info 2472
FUZZY_MAX 3 nbytes u16max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
HARD_MAX 3 nbytes u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 outp_sg->length 1-2147483646[c]
USER_DATA 1 outp_sg->length 1-u32max[c]
USER_DATA 1 outp_sg->offset 0-2147551739[c]
USER_DATA 3 nbytes 1-u16max
UNITS 1 outp_sg unit_byte
UNITS 3 nbytes unit_byte
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex

drivers/crypto/marvell/octeontx/otx_cptvf_algs.c create_aead_null_output_list() -> update_output_data()

Type Parameter Key Value
PARAM_VALUE 1 outp_sg 4096-ptr_max
PARAM_VALUE 1 outp_sg->length 1-u32max
PARAM_VALUE 2 offset 0-4294967294
PARAM_VALUE 4 argcnt 2952887664053129216
PARAM_VALUE 4 *argcnt 0
BUF_SIZE 0 req_info 2448
CAPPED_DATA 2 offset 1
DATA_SOURCE 3 nbytes $2
PARAM_COMPARE 1 outp_sg->length > $2
PARAM_COMPARE 2 offset < $1->length
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 outp_sg->length 1-2147483646[c]
USER_DATA 1 outp_sg->length 1-u32max[c]
USER_DATA 1 outp_sg->offset 0-2147551739[c]
NO_OVERFLOW_SIMPLE 1 outp_sg->length
NO_OVERFLOW_SIMPLE 2 offset
UNITS 1 outp_sg unit_byte
UNITS 2 offset unit_byte

drivers/crypto/marvell/octeontx/otx_cptvf_algs.c create_aead_output_list() -> update_output_data()

Type Parameter Key Value
PARAM_VALUE 2 offset 0
PARAM_VALUE 4 argcnt 3672091267962204160
PARAM_VALUE 4 *argcnt 0
BUF_SIZE 0 req_info 2448
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 outp_sg->length 0-2147483646[c]
USER_DATA 1 outp_sg->length 1-2147483646[c]
USER_DATA 1 outp_sg->offset 0-2147551739[c]
NO_OVERFLOW_SIMPLE 1 outp_sg->length
UNITS 1 outp_sg unit_byte
UNITS 3 nbytes unit_byte

drivers/crypto/marvell/octeontx/otx_cptvf_algs.c create_output_list() -> update_output_data()

Type Parameter Key Value
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 nbytes 0-u16max
PARAM_VALUE 4 argcnt 1041348622495469568
PARAM_VALUE 4 *argcnt 0
BUF_SIZE 0 req_info 2448
FUZZY_MAX 3 nbytes u16max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
HARD_MAX 3 nbytes u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 outp_sg->length 1-2147483646[c]
USER_DATA 1 outp_sg->length 1-u32max[c]
USER_DATA 1 outp_sg->offset 0-2147551739[c]
USER_DATA 3 nbytes 0-u16max
UNITS 1 outp_sg unit_byte
UNITS 3 nbytes unit_byte
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex

drivers/crypto/cavium/cpt/cptvf_algs.c create_output_list() -> update_output_data()

Type Parameter Key Value
PARAM_VALUE 0 req_info 4096-ptr_max
PARAM_VALUE 3 nbytes 6949795990622629888
PARAM_VALUE 3 *nbytes 1
BUF_SIZE 0 req_info 808
NOSPEC 2 offset
NOSPEC 2 offset
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 outp_sg->length 1-2147483646[c]
USER_DATA 1 outp_sg->length 1-u32max[c]
USER_DATA 1 outp_sg->offset 0-2147551739[c]
USER_DATA 2 offset 0-u32max
UNITS 1 outp_sg unit_byte
UNITS 2 offset unit_byte
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex