Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

net/ipv4/tcp.c sk_is_readable() -> (struct proto)->sock_is_readable()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot->sock_is_readable 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

net/unix/af_unix.c sk_is_readable() -> (struct proto)->sock_is_readable()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot->sock_is_readable 1-u64max
PARAM_VALUE 0 sk->sk_receive_queue.next 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

net/ipv4/udp.c sk_is_readable() -> (struct proto)->sock_is_readable()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot->sock_is_readable 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

net/vmw_vsock/af_vsock.c sk_is_readable() -> (struct proto)->sock_is_readable()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot->sock_is_readable 1-u64max
PARAM_VALUE 0 sk->sk_error_queue.next 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock