Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/crypto/aesni-intel_glue.c xts_crypt() -> xts_crypt param 2()

Type Parameter Key Value
PARAM_VALUE 0 key 496,4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 dst 4096-ptr_max
PARAM_VALUE 3 len s32min-(-1),16-s32max
BUF_SIZE 4 tweak s32min-(-2),1-s32max
CAPPED_DATA 3 len 1
NOSPEC 3 len
NOSPEC 3 len
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 len s32min-(-1),16-s32max
USER_DATA 4 *tweak 0-255
USER_PTR 4 tweak
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 tfm_mutex

arch/x86/crypto/aesni-intel_glue.c xts_crypt_slowpath() -> xts_crypt_slowpath param 1()

Type Parameter Key Value
PARAM_VALUE 0 key 496,4096-ptr_max
PARAM_VALUE 3 len s32min-0,16-s32max
BUF_SIZE 4 tweak s32min-(-2),1-s32max
BIT_INFO 3 len 0x0,0xfffffff0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 len 16-2147483632[c]
USER_DATA 4 *tweak 0-255
USER_PTR 4 tweak
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex

arch/x86/crypto/aesni-intel_glue.c xts_crypt_slowpath() -> xts_crypt_slowpath param 1()

Type Parameter Key Value
PARAM_VALUE 0 key 496,4096-ptr_max
BUF_SIZE 4 tweak s32min-(-2),1-s32max
NOSPEC 3 len
NOSPEC 3 len
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 len 2-s32max[c]
USER_DATA 4 *tweak 0-255
USER_PTR 4 tweak
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex