Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/crypto/keysetup.c fscrypt_setup_encryption_info() -> setup_file_encryption_key()

Type Parameter Key Value
PARAM_VALUE 0 ci 4096-ptr_max
PARAM_VALUE 0 ci->ci_inode 4096-ptr_max
PARAM_VALUE 0 ci->ci_inode->i_sb 4096-ptr_max
PARAM_VALUE 0 ci->ci_mode 4096-ptr_max
PARAM_VALUE 0 ci->ci_policy.version 0,2
PARAM_VALUE 2 mk_ret 8107571701451792384
PARAM_VALUE 2 *mk_ret 0
BUF_SIZE 0 ci->ci_inode (-1)-s32max
DATA_SOURCE 0 ci r kmem_cache_alloc_noprof
DATA_SOURCE 1 need_dirhash_key $3
STR_LEN 0 ci->ci_inode (-1)-1010101
STR_LEN 0 ci->ci_inode->i_sb (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ci->ci_inode->__i_nlink 1-u32max
USER_DATA 0 ci->ci_inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 0 ci->ci_inode->i_bytes 0-511[c]
USER_DATA 0 ci->ci_inode->i_ino 0-u64max
USER_DATA 0 ci->ci_inode->i_mode 0-u16max
USER_DATA 0 ci->ci_inode->i_rdev 0-u32max[c]
USER_DATA 0 ci->ci_inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 1 need_dirhash_key 0-1
NO_OVERFLOW_SIMPLE 0 ci->ci_data_unit_bits
NO_OVERFLOW_SIMPLE 0 ci->ci_inode->i_blkbits