Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/af_rxrpc.c rxrpc_listen() -> rxrpc_discard_prealloc()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->sk.__sk_common.skc_state 6
PARAM_VALUE 0 rx->sk.sk_lock.owned 1
PARAM_VALUE 0 rx->sk.sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rx->sk.sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 rx->sk.sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rx->sk.sk_lock.wq.head.prev->next->next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 rx unit_byte
LOCK2 0 &rx->sk
TYPE_LOCK (struct rxrpc_sock)->sk

net/rxrpc/af_rxrpc.c rxrpc_release_sock() -> rxrpc_discard_prealloc()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->local 0,4096-ptr_max
PARAM_VALUE 0 rx->recvmsg_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 rx 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 rx unit_byte
HALF_LOCKED2 &inode->i_rwsem

net/rxrpc/af_rxrpc.c rxrpc_shutdown() -> rxrpc_discard_prealloc()

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