Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/crypto/keyring.c add_existing_master_key() -> add_master_key_user()

Type Parameter Key Value
PARAM_VALUE 0 mk 4096-ptr_max
PARAM_VALUE 0 mk->mk_sem.dep_map->name 0-255
PARAM_VALUE 0 mk->mk_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 mk->mk_sem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 mk->mk_sem.first_waiter->type 0-1
PARAM_VALUE 0 mk->mk_sem.osq.tail.counter 0-s32max
PARAM_VALUE 0 mk->mk_sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 mk->mk_sem.wait_lock.owner (-1)
PARAM_VALUE 0 mk->mk_sem.wait_lock.owner_cpu u32max
PARAM_VALUE 0 mk->mk_spec.type 2
PARAM_VALUE 0 mk->mk_struct_refs.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 mk $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
LOCK2 0 &mk->mk_sem
TYPE_LOCK (struct fscrypt_master_key)->mk_sem

fs/crypto/keyring.c add_new_master_key() -> add_master_key_user()

Type Parameter Key Value
PARAM_VALUE 0 mk 4096-ptr_max
PARAM_VALUE 0 mk->mk_decrypted_inodes.next 4096-ptr_max
PARAM_VALUE 0 mk->mk_decrypted_inodes.next->next 4096-ptr_max
PARAM_VALUE 0 mk->mk_decrypted_inodes.prev 4096-ptr_max
PARAM_VALUE 0 mk->mk_decrypted_inodes.prev->next 4096-ptr_max
PARAM_VALUE 0 mk->mk_decrypted_inodes.prev->prev 4096-ptr_max
PARAM_VALUE 0 mk->mk_mode_keys.next 4096-ptr_max
PARAM_VALUE 0 mk->mk_mode_keys.next->next 4096-ptr_max
PARAM_VALUE 0 mk->mk_mode_keys.prev 4096-ptr_max
PARAM_VALUE 0 mk->mk_mode_keys.prev->next 4096-ptr_max
PARAM_VALUE 0 mk->mk_mode_keys.prev->prev 4096-ptr_max
PARAM_VALUE 0 mk->mk_sem.count.counter 0
PARAM_VALUE 0 mk->mk_sem.dep_map->name 0-255
PARAM_VALUE 0 mk->mk_sem.first_waiter 0
PARAM_VALUE 0 mk->mk_sem.magic 4096-ptr_max
PARAM_VALUE 0 mk->mk_sem.osq.tail.counter 0
PARAM_VALUE 0 mk->mk_sem.owner.counter 0
PARAM_VALUE 0 mk->mk_spec.type 2
PARAM_VALUE 0 mk->mk_struct_refs.refs.counter 1
PARAM_VALUE 0 mk->mk_users.next 4096-ptr_max
PARAM_VALUE 0 mk->mk_users.next->next 4096-ptr_max
PARAM_VALUE 0 mk->mk_users.prev 4096-ptr_max
PARAM_VALUE 0 mk->mk_users.prev->next 4096-ptr_max
PARAM_VALUE 0 mk->mk_users.prev->prev 4096-ptr_max
BUF_SIZE 0 mk 648
DATA_SOURCE 0 mk r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 mk->mk_spec.__reserved 0
LOCK2 _T->lock