Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/tpm/tpm2-sessions.c tpm_buf_append_salt() -> tpm2_KDFe()

Type Parameter Key Value
PARAM_VALUE 1 str 1684301643486945280
PARAM_VALUE 2 pt_u 4096-ptr_max
BUF_SIZE 0 z 32
BUF_SIZE 1 str 7
BUF_SIZE 3 pt_v 32
BUF_SIZE 4 out 32
CAPPED_DATA 0 z 1
CAPPED_DATA 2 pt_u 1
STR_LEN 0 z 6
TERMINATED 1 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &chip->ops_sem
LOCK2 &chip->tpm_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem
TYPE_LOCK (struct tpm_chip)->tpm_mutex