Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

crypto/algif_aead.c _aead_recvmsg() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex

crypto/algif_aead.c _aead_recvmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex

crypto/algif_aead.c aead_accept_parent_nokey() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->sk_prot_creator 448
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &pool->lock

crypto/algif_aead.c aead_check_key() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex

crypto/algif_aead.c aead_check_key() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex

crypto/algif_aead.c aead_sendmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_aead.c aead_sendmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_aead.c aead_sock_destruct() -> alg_sk()

Type Parameter Key Value
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING

crypto/algif_aead.c aead_sock_destruct() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

crypto/algif_aead.c aead_sufficient_data() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_aead.c aead_sufficient_data() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/af_alg.c af_alg_accept() -> alg_sk()

Type Parameter Key Value
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

crypto/af_alg.c af_alg_accept() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->sk_prot_creator 448
DATA_SOURCE 0 sk r sk_alloc
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

crypto/af_alg.c af_alg_accept() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->sk_prot_creator 448
DATA_SOURCE 0 sk r sk_alloc
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

crypto/af_alg.c af_alg_accept() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->sk_prot_creator 448
DATA_SOURCE 0 sk r sk_alloc
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

crypto/af_alg.c af_alg_alloc_areq() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/af_alg.c af_alg_alloc_tsgl() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 0 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/af_alg.c af_alg_count_tsgl() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/af_alg.c af_alg_data_wakeup() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 0 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/af_alg.c af_alg_free_areq_sgls() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex

crypto/af_alg.c af_alg_free_resources() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/af_alg.c af_alg_get_rsgl() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/af_alg.c af_alg_poll() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &pool->lock

crypto/af_alg.c af_alg_pull_tsgl() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

crypto/af_alg.c af_alg_rcvbuf() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/af_alg.c af_alg_release_parent() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING

crypto/af_alg.c af_alg_release_parent() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

crypto/af_alg.c af_alg_sendmsg() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex

crypto/af_alg.c af_alg_sndbuf() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk

crypto/af_alg.c af_alg_wait_for_data() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/af_alg.c alg_bind() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex

crypto/af_alg.c alg_setkey() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 0 sk

crypto/af_alg.c alg_setsockopt() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &smc->clcsock_release_lock

crypto/af_alg.c alg_sock_destruct() -> alg_sk()

Type Parameter Key Value
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING

crypto/algif_skcipher.c _skcipher_recvmsg() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex

crypto/algif_skcipher.c _skcipher_recvmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex

crypto/algif_skcipher.c algif_skcipher_export() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_skcipher.c algif_skcipher_export() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_skcipher.c skcipher_accept_parent_nokey() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->sk_prot_creator 448
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &pool->lock

crypto/algif_skcipher.c skcipher_check_key() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex

crypto/algif_skcipher.c skcipher_check_key() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex

crypto/algif_skcipher.c skcipher_sendmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_skcipher.c skcipher_sendmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_skcipher.c skcipher_sock_destruct() -> alg_sk()

Type Parameter Key Value
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING

crypto/algif_skcipher.c skcipher_sock_destruct() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

crypto/algif_hash.c hash_accept() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

crypto/algif_hash.c hash_accept() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

crypto/algif_hash.c hash_accept_parent_nokey() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->sk_prot_creator 448
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &pool->lock

crypto/algif_hash.c hash_check_key() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

crypto/algif_hash.c hash_check_key() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 sk

crypto/algif_hash.c hash_recvmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_hash.c hash_sendmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_hash.c hash_sock_destruct() -> alg_sk()

Type Parameter Key Value
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING

crypto/algif_rng.c rng_accept_parent() -> alg_sk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->sk_prot_creator 448
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &pool->lock

crypto/algif_rng.c rng_recvmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_rng.c rng_sock_destruct() -> alg_sk()

Type Parameter Key Value
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING

crypto/algif_rng.c rng_test_recvmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

crypto/algif_rng.c rng_test_sendmsg() -> alg_sk()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk