Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/vhost/vdpa.c vhost_vdpa_chr_write_iter() -> vhost_chr_write_iter()

Type Parameter Key Value
BUF_SIZE 0 dev 512
DATA_SOURCE 1 from $1
NOSPEC 1 from->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 from->count 0-18446744073709551614
USER_DATA 1 from->iov_offset 0-u64max[c]
HALF_LOCKED2 &pool->lock

drivers/vhost/net.c vhost_net_chr_write_iter() -> vhost_chr_write_iter()

Type Parameter Key Value
BUF_SIZE 0 dev 512
DATA_SOURCE 1 from $1
NOSPEC 1 from->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 from->count 0-18446744073709551614
USER_DATA 1 from->iov_offset 0-u64max[c]
HALF_LOCKED2 &pool->lock

drivers/vhost/vsock.c vhost_vsock_chr_write_iter() -> vhost_chr_write_iter()

Type Parameter Key Value
BUF_SIZE 0 dev 512
DATA_SOURCE 1 from $1
NOSPEC 1 from->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 from->count 0-18446744073709551614
USER_DATA 1 from->iov_offset 0-u64max[c]
HALF_LOCKED2 &pool->lock