Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/virtio/virtio_ring.c vring_transport_features() -> __virtio_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 1 fbit 30-31,37,39-41
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/remoteproc/remoteproc_virtio.c rproc_transport_features() -> __virtio_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 1 fbit 34
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nvdimm/virtio_pmem.c virtio_pmem_validate() -> __virtio_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->features_array 4096-ptr_max
PARAM_VALUE 1 fbit 0
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_balloon.c virtballoon_validate() -> __virtio_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->features_array 4096-ptr_max
PARAM_VALUE 1 fbit 4
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_balloon.c virtballoon_validate() -> __virtio_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->features_array 4096-ptr_max
PARAM_VALUE 1 fbit 5
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_balloon.c virtballoon_validate() -> __virtio_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->features_array 4096-ptr_max
PARAM_VALUE 1 fbit 28
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_balloon.c virtballoon_validate() -> __virtio_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->features_array 4096-ptr_max
PARAM_VALUE 1 fbit 33
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_vdpa.c virtio_vdpa_setup_vq() -> __virtio_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 1 fbit 38
BUF_SIZE 0 vdev->priv (-1),112,336,576,928,4600-s32max
DATA_SOURCE 0 vdev $0
STR_LEN 0 vdev (-1),3,5-6,8,11,13
STR_LEN 0 vdev (-1),3,5-6,8,11,13
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &the_virtio_vsock_mutex

drivers/net/virtio_net.c virtnet_validate() -> __virtio_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->features_array 4096-ptr_max
PARAM_VALUE 1 fbit 3
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/virtio_net.c virtnet_validate() -> __virtio_clear_bit()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->features_array 4096-ptr_max
PARAM_VALUE 1 fbit 62
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL