Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 26 files:

Smatch caller information:

drivers/crypto/aspeed/aspeed-hace-hash.c aspeed_ahash_fallback() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 533818396097798144
BUF_SIZE 0 req 673
BUF_SIZE 0 req 673
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
DATA_SOURCE 0 req r ahash_fbreq_on_stack_init
NOCHECK_CALL
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte

drivers/crypto/marvell/cesa/hash.c mv_cesa_ahmac_iv_state_init() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 1024-1025,3072-3073
PARAM_VALUE 1 src 3349057081241972736
PARAM_VALUE 2 result 16,4096-ptr_max
PARAM_VALUE 3 nbytes 0-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result (-1)-s32max
BUF_SIZE 2 result (-1)-s32max
CAPPED_DATA 0 req 1
CAPPED_DATA 2 result 1
CAPPED_DATA 3 nbytes 1
DATA_SOURCE 0 req $0
DATA_SOURCE 2 result $1
DATA_SOURCE 3 nbytes $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->nbytes 1-s32max[c]
USER_DATA 0 *req->result 0-255
USER_DATA 0 *req->svirt 0-255
USER_DATA 2 *result 0-255
NO_OVERFLOW_SIMPLE 3 nbytes
BYTE_COUNT 2 ==result3 8050
HALF_LOCKED2 sk

drivers/crypto/marvell/cesa/hash.c mv_cesa_ahmac_pad_init() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 1024-1025,3072-3073
PARAM_VALUE 1 src 6189591347429240832
PARAM_VALUE 2 result 16,4096-ptr_max
PARAM_VALUE 3 nbytes 1-u32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 0-s32max
BUF_SIZE 2 result 0-s32max
CAPPED_DATA 3 nbytes 1
DATA_SOURCE 0 req $0
DATA_SOURCE 2 result $3
DATA_SOURCE 3 nbytes $2
PARAM_COMPARE 2 result < $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 nbytes 1-s32max[c]
HALF_LOCKED2 sk

drivers/crypto/inside-secure/eip93/eip93-common.c eip93_hmac_setkey() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 1024-1025,3072-3073
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 result 7876594776890314752
PARAM_VALUE 3 nbytes 65-u32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 64
DATA_SOURCE 0 req r ahash_request_alloc_noprof
DATA_SOURCE 3 nbytes $2
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 nbytes 65-s32max[c]
UNITS 3 nbytes unit_byte
HALF_LOCKED2 sk

drivers/crypto/inside-secure/eip93/eip93-common.c eip93_hmac_setkey() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 3 nbytes 64
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 32
BUF_SIZE 2 result 32
DATA_SOURCE 0 req r ahash_request_alloc_noprof
DATA_SOURCE 2 result $4
NOSPEC 0 req->nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->nbytes 65-s32max[c]
USER_DATA 0 *req->__ctx->ahash_fbk_req.result 0-255
USER_DATA 0 *req->svirt 0-255
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &sdata->sec_mtx
HALF_LOCKED2 sk

drivers/crypto/inside-secure/eip93/eip93-common.c eip93_hmac_setkey() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 3 nbytes 64
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 32
BUF_SIZE 2 result 32
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req r ahash_request_alloc_noprof
DATA_SOURCE 2 result $5
NOSPEC 0 req->nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->nbytes 65-s32max[c]
USER_DATA 0 *req->__ctx->ahash_fbk_req.result 0-255
USER_DATA 0 *req->svirt 0-255
HALF_LOCKED2 sk

crypto/krb5enc.c krb5enc_dispatch_decrypt_hash() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 2 result 4096-ptr_max
PARAM_COMPARE 0 req >= $2
PARAM_COMPARE 0 req >= $2
PARAM_COMPARE 2 result <= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 src->length
UNITS 0 req unit_byte
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte
HALF_LOCKED2 &pool->lock

crypto/krb5enc.c krb5enc_dispatch_encrypt_hash() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 2 result 4096-ptr_max
PARAM_COMPARE 0 req >= $2
PARAM_COMPARE 0 req >= $2
PARAM_COMPARE 2 result <= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
USER_DATA 1 src->length 1-2147483646[c]
USER_DATA 1 src->offset 0-2147551739[c]
NO_OVERFLOW_SIMPLE 1 src->length
UNITS 0 req unit_byte
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte

drivers/crypto/allwinner/sun8i-ce/sun8i-ce-hash.c sun8i_ce_hash_digest_fb() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
CAPPED_DATA 3 nbytes 1
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4350,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max[c]
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/allwinner/sun8i-ce/sun8i-ce-hash.c sun8i_ce_hash_final() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 1 src 0
PARAM_VALUE 3 nbytes 0
BUF_SIZE 2 result 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *result 0-255
UNITS 2 result unit_byte
USER_PTR 2 result

drivers/crypto/allwinner/sun8i-ce/sun8i-ce-hash.c sun8i_ce_hash_finup() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/allwinner/sun8i-ce/sun8i-ce-hash.c sun8i_ce_hash_update() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 2 result 0
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte

drivers/crypto/starfive/jh7110-hash.c starfive_hash_final() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-1025,2048-3073
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4350,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/starfive/jh7110-hash.c starfive_hash_finup() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-1025,2048-3073
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/starfive/jh7110-hash.c starfive_hash_init() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-1025,2048-3073
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4095,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/starfive/jh7110-hash.c starfive_hash_long_setkey() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-1025,2048-3073
PARAM_VALUE 1 src 280981003669561344
PARAM_VALUE 3 nbytes 1-3999872
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 128
DATA_SOURCE 0 req r ahash_request_alloc_noprof
DATA_SOURCE 3 nbytes $2
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 nbytes 1-3999872[c]
HALF_LOCKED2 sk

drivers/crypto/starfive/jh7110-hash.c starfive_hash_update() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-1025,2048-3073
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/qce/sha.c qce_ahash_hmac_setkey() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 1024-1025,3072-3073
PARAM_VALUE 1 src 6397858946252414976
PARAM_VALUE 3 nbytes 1-3999936
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 64
DATA_SOURCE 0 req r ahash_request_alloc_noprof
DATA_SOURCE 3 nbytes $2
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 nbytes 1-3999936[c]
HALF_LOCKED2 sk

drivers/crypto/sa2ul.c sa_sha_final() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 1 src 0
PARAM_VALUE 3 nbytes 0
BUF_SIZE 2 result 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *result 0-255
UNITS 2 result unit_byte
USER_PTR 2 result

drivers/crypto/sa2ul.c sa_sha_finup() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/sa2ul.c sa_sha_init() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 1 src 0
PARAM_VALUE 2 result 0
PARAM_VALUE 3 nbytes 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/crypto/sa2ul.c sa_sha_run() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 3 nbytes 240-255,65536-u32max
BUF_SIZE 0 req 152
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 240-255,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 240-255,65536-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/sa2ul.c sa_sha_update() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 2 result 0
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte

drivers/crypto/intel/keembay/keembay-ocs-hcu-core.c kmb_ocs_hcu_setkey() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 1024-1025,3072-3073
PARAM_VALUE 1 src 5292922594553290752
PARAM_VALUE 3 nbytes 1-u32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 128
DATA_SOURCE 0 req r ahash_request_alloc_noprof
DATA_SOURCE 3 nbytes $2
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 nbytes 1-s32max[c]
HALF_LOCKED2 sk

crypto/authenc.c crypto_authenc_decrypt() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 2 result 4096-ptr_max
PARAM_COMPARE 0 req >= $2
PARAM_COMPARE 0 req >= $2
PARAM_COMPARE 2 result <= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
NO_OVERFLOW_SIMPLE 1 src->length
UNITS 0 req unit_byte
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 bh

crypto/authenc.c crypto_authenc_genicv() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 2 result 4096-ptr_max
PARAM_COMPARE 0 req >= $2
PARAM_COMPARE 0 req >= $2
PARAM_COMPARE 2 result <= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
NO_OVERFLOW_SIMPLE 1 src->length
UNITS 0 req unit_byte
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte

crypto/authencesn.c crypto_authenc_esn_decrypt() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 2 result 4096-ptr_max
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
PARAM_COMPARE 0 req >= $2
PARAM_COMPARE 0 req >= $2
PARAM_COMPARE 2 result <= $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
NO_OVERFLOW_SIMPLE 1 src->length
UNITS 0 req unit_byte
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 bh

crypto/authencesn.c crypto_authenc_esn_genicv() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 2 result 4096-ptr_max
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
NO_OVERFLOW_SIMPLE 1 src->length
UNITS 0 req unit_byte
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte

crypto/testmgr.c test_ahash_vec_cfg() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0,1024-u32max
PARAM_VALUE 2 result 4546395477927776256
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 1 src 256
BUF_SIZE 2 result 80
DATA_SOURCE 0 req $3
MEM_ZERO 0 req->__ctx
NOCHECK_CALL
UNITS 1 src unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c test_ahash_vec_cfg() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0,1024-u32max
PARAM_VALUE 1 src 0
PARAM_VALUE 2 result 4546395477927776256
PARAM_VALUE 3 nbytes 0
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 80
DATA_SOURCE 0 req $3
MEM_ZERO 0 req->__ctx
NOCHECK_CALL
HALF_LOCKED2 global &once_lock

crypto/testmgr.c test_ahash_vec_cfg() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0,1024-u32max
PARAM_VALUE 0 req->nbytes 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 result 4546395477927776256
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 80
DATA_SOURCE 0 req $3
MEM_ZERO 0 req->__ctx
NOCHECK_CALL
HALF_LOCKED2 global &once_lock

crypto/testmgr.c test_ahash_vec_cfg() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0,1024-u32max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 result 4546395477927776256
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 80
DATA_SOURCE 0 req $3
MEM_ZERO 0 req->__ctx
NOCHECK_CALL
HALF_LOCKED2 global &once_lock

drivers/crypto/inside-secure/safexcel_hash.c safexcel_hmac_init_iv() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 8589841614948564992
PARAM_VALUE 2 result 16,4096-ptr_max
PARAM_VALUE 3 nbytes 0-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result (-1)-s32max
BUF_SIZE 2 result (-1)-s32max
CAPPED_DATA 0 req 1
CAPPED_DATA 2 result 1
CAPPED_DATA 3 nbytes 1
DATA_SOURCE 0 req $0
DATA_SOURCE 2 result $2
DATA_SOURCE 3 nbytes $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->nbytes 1-s32max[c]
USER_DATA 0 *req->result 0-255
USER_DATA 0 *req->svirt 0-255
USER_DATA 2 *result 0-255
NO_OVERFLOW_SIMPLE 3 nbytes
UNITS 3 nbytes unit_byte
BYTE_COUNT 2 ==result3 8050
HALF_LOCKED2 sk

drivers/crypto/inside-secure/safexcel_hash.c safexcel_hmac_init_pad() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 4892491142319214592
PARAM_VALUE 2 result 16,4096-ptr_max
PARAM_VALUE 3 nbytes 1-u32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 2 result 0-s32max
BUF_SIZE 2 result 0-s32max
CAPPED_DATA 3 nbytes 1
DATA_SOURCE 0 req $0
DATA_SOURCE 2 result $4
DATA_SOURCE 3 nbytes $3
PARAM_COMPARE 2 result < $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 nbytes 1-s32max[c]
UNITS 3 nbytes unit_byte
HALF_LOCKED2 sk

drivers/crypto/inside-secure/safexcel_hash.c safexcel_sha3_fbcheck() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
DATA_SOURCE 0 req r ahash_request_ctx_dma
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4350,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/allwinner/sun8i-ss/sun8i-ss-hash.c sun8i_ss_hash_digest_fb() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4350,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/allwinner/sun8i-ss/sun8i-ss-hash.c sun8i_ss_hash_final() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 1 src 0
PARAM_VALUE 3 nbytes 0
BUF_SIZE 2 result 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *result 0-255
UNITS 2 result unit_byte
USER_PTR 2 result

drivers/crypto/allwinner/sun8i-ss/sun8i-ss-hash.c sun8i_ss_hash_finup() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/allwinner/sun8i-ss/sun8i-ss-hash.c sun8i_ss_hash_update() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 2 result 0
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte

drivers/md/dm-integrity.c integrity_sector_checksum_ahash() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 512-513,2560-2561
PARAM_VALUE 1 src 7710157632338046976
PARAM_VALUE 1 src->dma_flags 0
PARAM_VALUE 1 src->dma_length 0
PARAM_VALUE 1 src->length 0,16
PARAM_VALUE 1 src->offset 0-4095
PARAM_VALUE 3 nbytes 8,24,520-130584
BUF_SIZE 1 src 96
BUF_SIZE 2 result (-1)-s32max
BUF_SIZE 2 result (-1)-s32max
DATA_SOURCE 2 result $6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/tcrypt.c test_ahash_speed_common() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 5312774191653376000
PARAM_VALUE 1 src->dma_flags 0
PARAM_VALUE 1 src->dma_length 0
PARAM_VALUE 1 src->length 0
PARAM_VALUE 1 src->offset 0
PARAM_VALUE 2 result 4096-ptr_max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 1 src 128
BUF_SIZE 2 result 64
BUF_SIZE 2 result 64
DATA_SOURCE 0 req r ahash_request_alloc_noprof
DATA_SOURCE 2 result r _kmalloc_noprof
NOCHECK_CALL

drivers/crypto/img-hash.c img_hash_final() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 1 src 0
PARAM_VALUE 3 nbytes 0
BUF_SIZE 2 result 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *result 0-255
UNITS 2 result unit_byte
USER_PTR 2 result

drivers/crypto/img-hash.c img_hash_finup() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/img-hash.c img_hash_update() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 2 result 0
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte

drivers/crypto/tegra/tegra-se-hash.c tegra_sha_fallback_digest() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4350,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/tegra/tegra-se-hash.c tegra_sha_fallback_final() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 1 src 0
PARAM_VALUE 3 nbytes 0
BUF_SIZE 2 result 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *result 0-255
UNITS 2 result unit_byte
USER_PTR 2 result

drivers/crypto/tegra/tegra-se-hash.c tegra_sha_fallback_finup() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4350,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

drivers/crypto/tegra/tegra-se-hash.c tegra_sha_fallback_update() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 0-513,2048-2561
PARAM_VALUE 2 result 0
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4350,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte

crypto/ccm.c crypto_ccm_auth() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 4627370477295329280
PARAM_VALUE 2 result 0
BUF_SIZE 0 req 152
BUF_SIZE 1 src 96
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 nbytes unit_byte

crypto/ccm.c crypto_ccm_auth() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 0,4-u64max
PARAM_VALUE 2 result 4096-ptr_max
BUF_SIZE 0 req 152
BUF_SIZE 1 src (-1),96
BUF_SIZE 1 src (-1),96
BUF_SIZE 2 result 16
BUF_SIZE 2 result 16
CAPPED_DATA 2 result 1
DATA_SOURCE 1 src $1 [m]
DATA_SOURCE 3 nbytes $2 [m]
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 3 nbytes unit_byte

crypto/algif_hash.c hash_recvmsg() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 0
PARAM_VALUE 2 result 1-u64max
PARAM_VALUE 3 nbytes 0
BUF_SIZE 2 result 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_hash.c hash_sendmsg() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 0
PARAM_VALUE 2 result 1-u64max
PARAM_VALUE 3 nbytes 0
BUF_SIZE 2 result 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_hash.c hash_sendmsg() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 3 nbytes 0-s32max
BUF_SIZE 1 src 544
BUF_SIZE 1 src 544
BUF_SIZE 2 result 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->nbytes 0-s32max[c]
USER_DATA 3 nbytes 0-s32max[c]
UNITS 1 src unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/ipv4/ah4.c ah_input() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 0,8-u64max
PARAM_VALUE 2 result 4096-ptr_max
DATA_SOURCE 0 req r ah_tmp_req
DATA_SOURCE 1 src r ah_req_sg
DATA_SOURCE 2 result r ah_tmp_icv
MEM_ZERO 1 src
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 src->length
UNITS 3 nbytes unit_byte

net/ipv4/ah4.c ah_output() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 0,8-u64max
PARAM_VALUE 3 nbytes 0-65539
DATA_SOURCE 0 req r ah_tmp_req
DATA_SOURCE 1 src r ah_req_sg
DATA_SOURCE 2 result r ah_tmp_icv
MEM_ZERO 1 src
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 src->length
UNITS 3 nbytes unit_byte

crypto/hmac.c hmac_finup_ahash() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req 1-s32max
BUF_SIZE 0 req 1-s32max
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
BUF_SIZE 2 result 1-s32max
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 2 *result 0-255
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 2 result unit_byte
UNITS 3 nbytes unit_byte
USER_PTR 2 result

crypto/hmac.c hmac_update_ahash() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 2 result 0
BUF_SIZE 0 req 1-s32max
BUF_SIZE 0 req 1-s32max
BUF_SIZE 1 src (-1),64
BUF_SIZE 1 src (-1),64
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 src->length 0-2147483646[c]
HOST_DATA 3 nbytes 0-4605,4294963202-u32max[c]
USER_DATA 1 src->length 1-u32max[c]
USER_DATA 1 src->offset 0-2147551739[c]
USER_DATA 3 nbytes 0-u32max
UNITS 1 src unit_byte
UNITS 3 nbytes unit_byte

net/ipv6/ah6.c ah6_input() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 0,8-u64max
DATA_SOURCE 0 req r ah_tmp_req
DATA_SOURCE 1 src r ah_req_sg
DATA_SOURCE 2 result r ah_tmp_icv
MEM_ZERO 1 src
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 src->length
UNITS 3 nbytes unit_byte

net/ipv6/ah6.c ah6_output() -> ahash_request_set_crypt()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 src 0,8-u64max
DATA_SOURCE 0 req r ah_tmp_req
DATA_SOURCE 1 src r ah_req_sg
DATA_SOURCE 2 result r ah_tmp_icv
MEM_ZERO 1 src
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 src->length
UNITS 3 nbytes unit_byte