Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/vmw_vsock/af_vsock.c vsock_stream_has_data() -> (struct vsock_transport)->stream_has_data()

Type Parameter Key Value
PARAM_VALUE 0 vsk 4096-ptr_max
PARAM_VALUE 0 vsk->transport 4096-ptr_max
BUF_SIZE 0 vsk (-1),1480
BUF_SIZE 0 vsk (-1),1480
DATA_SOURCE 0 vsk $0
CONTAINER 0 -96-1480+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 sk
HALF_LOCKED2 sock->sk