Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

fs/smb/client/cifsacl.c id_to_sid() -> key_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
PARAM_VALUE 0 key->datalen 0-1027
BUF_SIZE 0 key (-1)-s32max
BUF_SIZE 0 key (-1)-s32max
CAPPED_DATA 0 key->datalen 1
CAPPED_DATA 0 key->expiry 1
DATA_SOURCE 0 key r request_key
FUZZY_MAX 0 key->datalen 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &direntry->d_inode->i_rwsem
HALF_LOCKED2 &direntry->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem

fs/smb/client/cifsacl.c sid_to_id() -> key_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
PARAM_VALUE 0 key->datalen 0-3,5-u16max
BUF_SIZE 0 key (-1)-s32max
BUF_SIZE 0 key (-1)-s32max
CAPPED_DATA 0 key->expiry 1
DATA_SOURCE 0 key r request_key
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/smb2pdu.c SMB2_auth_kerberos() -> key_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
PARAM_VALUE 0 key->payload.data 4096-ptr_max
BUF_SIZE 0 key (-1)-s32max
BUF_SIZE 0 key (-1)-s32max
CAPPED_DATA 0 key->expiry 1
DATA_SOURCE 0 key r cifs_get_spnego_key
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ses->session_mutex
TYPE_LOCK (struct cifs_ses)->session_mutex

net/dns_resolver/dns_query.c dns_query() -> key_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
PARAM_VALUE 0 key->expiry (-9223372036854775807)-s64max
PARAM_VALUE 0 key->perm 0,65536-u32max
PARAM_VALUE 0 key->revoked_at (-9223372036854775807)-s64max
PARAM_VALUE 0 key->sem.dep_map->name 0-255
PARAM_VALUE 0 key->sem.first_waiter->handoff_set 1
PARAM_VALUE 0 key->sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 key->sem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 key->sem.first_waiter->type 0-1
PARAM_VALUE 0 key->sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 key->sem.wait_lock.owner (-1)
PARAM_VALUE 0 key->sem.wait_lock.owner_cpu u32max
PARAM_VALUE 0 key->state 0-s16max
BUF_SIZE 0 key (-1)-s32max
BUF_SIZE 0 key (-1)-s32max
CAPPED_DATA 0 key->expiry 1
CAPPED_DATA 0 &key->sem 1
DATA_SOURCE 0 key r request_key_tag
BIT_INFO 0 key->perm 0x10000,0xffffffffffffffff
RX_PATH
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 key->quotalen
LOCK2 &pool->lock

security/keys/keyctl.c keyctl_invalidate_key() -> key_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
DATA_SOURCE 0 key r key_ref_to_ptr
NOCHECK_CALL

security/keys/key.c __key_instantiate_and_link() -> key_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
PARAM_VALUE 0 key->sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 key->sem.first_waiter->type 0-1
DATA_SOURCE 0 key $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &key_construction_mutex
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &keyring->sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &afs_key_lock

security/keys/key.c key_reject_and_link() -> key_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
PARAM_VALUE 0 key->sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 key->sem.first_waiter->type 0-1
BUF_SIZE 0 key (-1),1-s32max
BUF_SIZE 0 key (-1),1-s32max
DATA_SOURCE 0 key $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 key->quotalen
NO_OVERFLOW_SIMPLE 0 key->user->qnbytes
LOCK2 global &key_construction_mutex
HALF_LOCKED2 &keyring->sem

fs/smb/client/smb1session.c sess_auth_kerberos() -> key_invalidate()

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
PARAM_VALUE 0 key->payload.data 4096-ptr_max
BUF_SIZE 0 key (-1)-s32max
BUF_SIZE 0 key (-1)-s32max
CAPPED_DATA 0 key->expiry 1
DATA_SOURCE 0 key r cifs_get_spnego_key
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ses->session_mutex
TYPE_LOCK (struct cifs_ses)->session_mutex