Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-integrity.c encrypt_journal() -> crypt_journal()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->journal_io 1-u64max
PARAM_VALUE 0 ic->journal_xor 0
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 4 comp 3124305723359834112,5442487807259684864,6032296228345696256
PARAM_VALUE 4 comp->comp.done 0
PARAM_VALUE 4 comp->comp.wait.lock.owner (-1)
PARAM_VALUE 4 comp->comp.wait.lock.owner_cpu u32max
PARAM_VALUE 4 comp->comp.wait.task_list.next 4096-ptr_max
PARAM_VALUE 4 comp->comp.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 4 comp->ic 4096-ptr_max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
DATA_SOURCE 0 ic $0
DATA_SOURCE 1 encrypt $1
DATA_SOURCE 2 section $2
DATA_SOURCE 3 n_sections $3
DATA_SOURCE 4 comp $4
UNITS 2 section unit_array_size
UNITS 3 n_sections unit_array_size
HALF_LOCKED2 &md->suspend_lock