Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/vmw_vsock/virtio_transport_common.c virtio_transport_recv_connected() -> vsock_data_ready()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 sk->__sk_common.skc_state 1
PARAM_VALUE 0 sk->local_addr.svm_cid 0,4294967295
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sk->trans 4096-ptr_max
PARAM_VALUE 0 sk->trans->buf_used 0-4294967295
PARAM_VALUE 0 sk->trans->msg_count 0-4294967295
PARAM_VALUE 0 sk->trans->peer_buf_alloc 0-4294967295
PARAM_VALUE 0 sk->trans->peer_fwd_cnt 0-4294967295
PARAM_VALUE 0 sk->trans->rx_bytes 0-4294967295
PARAM_VALUE 0 sk->trans->rx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->trans->rx_queue.qlen 0-4294967295
PARAM_VALUE 0 sk->trans->tx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->transport 313939572454838272,4304869436517031936,7768179779944185856
BUF_SIZE 0 sk 1480
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 &vsock->rx_lock

net/vmw_vsock/vmci_transport_notify.c vmci_transport_handle_wrote() -> vsock_data_ready()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 1
PARAM_VALUE 0 sk->sk_lock.owned 0-1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->trans 4096-ptr_max
BUF_SIZE 0 sk (-1),1480
BUF_SIZE 0 sk (-1),1480
DATA_SOURCE 0 sk $0
HARD_MAX 0 sk->sk_lock.owned 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_lock.slock

net/vmw_vsock/vmci_transport_notify_qstate.c vmci_transport_handle_wrote() -> vsock_data_ready()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 1
PARAM_VALUE 0 sk->sk_lock.owned 0-1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
BUF_SIZE 0 sk (-1),1480
BUF_SIZE 0 sk (-1),1480
DATA_SOURCE 0 sk $0
HARD_MAX 0 sk->sk_lock.owned 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_lock.slock

net/vmw_vsock/vmci_transport_notify_qstate.c vmci_transport_notify_pkt_recv_post_dequeue() -> vsock_data_ready()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->trans 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
NOCHECK_CALL
LOCK2 sk