Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vhost.c __vhost_add_used_n() -> log_used()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->dev->iotlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vq->dev->read_list.prev 4096-ptr_max
PARAM_VALUE 0 vq->dev->read_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vq->dev->read_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vq->error_ctx->count 0-s64max
PARAM_VALUE 0 vq->log_ctx->count 0-s64max
PARAM_VALUE 0 vq->log_used 1
PARAM_VALUE 0 vq->used 4096-ptr_max
PARAM_VALUE 1 used_offset 0-9223372036854771712,9223372036854779904-u64max
PARAM_VALUE 2 len 0-34359738360
BUF_SIZE 0 vq (-1),37968
BUF_SIZE 0 vq (-1),37968
CAPPED_DATA 2 len 1
DATA_SOURCE 0 vq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
HOST_DATA 0 vq->signalled_used 0-u16max
HALF_LOCKED2 0 &vq->mutex

drivers/vhost/vhost.c vhost_add_used_n() -> log_used()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->log_used 1
PARAM_VALUE 1 used_offset 2
PARAM_VALUE 2 len 2
BUF_SIZE 0 vq (-1),18984,37968
BUF_SIZE 0 vq (-1),18984,37968
DATA_SOURCE 0 vq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
HOST_DATA 0 vq->signalled_used 0-u16max
NO_OVERFLOW_SIMPLE 0 vq->num
UNITS 2 len unit_byte
HALF_LOCKED2 0 &vq->mutex

drivers/vhost/vhost.c vhost_add_used_n_in_order() -> log_used()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->log_used 1
PARAM_VALUE 0 vq->used 4096-ptr_max
PARAM_VALUE 1 used_offset 0-9223372036854771712,9223372036854779904-u64max
BUF_SIZE 0 vq (-1),37968
BUF_SIZE 0 vq (-1),37968
DATA_SOURCE 0 vq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
HOST_DATA 0 vq->signalled_used 0-u16max
HALF_LOCKED2 0 &vq->mutex

drivers/vhost/vhost.c vhost_add_used_n_in_order() -> log_used()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->log_used 1
PARAM_VALUE 0 vq->num 0-4294967294
PARAM_VALUE 0 vq->used 4096-ptr_max
PARAM_VALUE 1 used_offset 0
PARAM_VALUE 2 len 8-34359738360
BUF_SIZE 0 vq (-1),37968
BUF_SIZE 0 vq (-1),37968
CAPPED_DATA 0 vq->num 1
DATA_SOURCE 0 vq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
HOST_DATA 0 vq->signalled_used 0-u16max
HOST_DATA 2 len 8-34359738360[c]
HALF_LOCKED2 0 &vq->mutex

drivers/vhost/vhost.c vhost_update_avail_event() -> log_used()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->dev->iotlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vq->dev->read_list.prev 4096-ptr_max
PARAM_VALUE 0 vq->log_used 1
PARAM_VALUE 0 vq->used->ring 4096-ptr_max
PARAM_VALUE 0 vq->used_flags 0,2-65534
PARAM_VALUE 2 len 2
BUF_SIZE 0 vq (-1),18984,37968
BUF_SIZE 0 vq (-1),18984,37968
DATA_SOURCE 0 vq $0
BIT_INFO 0 vq->used_flags 0x0,0xfffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
NO_OVERFLOW_SIMPLE 0 vq->dev->iov_limit
UNITS 2 len unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 0 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/vhost.c vhost_update_used_flags() -> log_used()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->dev->iotlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vq->dev->read_list.prev 4096-ptr_max
PARAM_VALUE 0 vq->log_used 1
PARAM_VALUE 2 len 2
BUF_SIZE 0 vq (-1),18984,37968
BUF_SIZE 0 vq (-1),18984,37968
DATA_SOURCE 0 vq $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
NO_OVERFLOW_SIMPLE 0 vq->dev->iov_limit
UNITS 2 len unit_byte
HALF_LOCKED2 0 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex