Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

net/9p/trans_virtio.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/vhost/vhost.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 24,26,29,32,34-35
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->mutex

drivers/virtio/virtio_pci_common.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pci_dev->dev.mutex
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/virtio/virtio_ring.c virtio_features_clear_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 30-31,37,39-41
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_ring.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/vhost/vdpa.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 34
DATA_SOURCE 0 bit $1
LOCK2 &d->mutex
TYPE_LOCK (struct vhost_dev)->mutex

drivers/net/can/virtio_can.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/iommu/virtio-iommu.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/remoteproc/remoteproc_virtio.c virtio_features_clear_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 34
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING

drivers/nvdimm/virtio_pmem.c virtio_features_clear_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 0
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING

drivers/nvdimm/virtio_pmem.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/virtio/virtio_mem.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/firmware/arm_scmi/transports/virtio.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/virtio/virtio_pci_admin_legacy_io.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/vhost/net.c vhost_features_u64() -> virtio_features_chk_bit()

Type Parameter Key Value

drivers/vhost/net.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 15,26-27,32-33,35,65,67
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &n->dev.mutex

drivers/gpio/gpio-virtio.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/scsi/virtio_scsi.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/gpu/drm/virtio/virtgpu_vq.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/virtio/virtio_rtc_driver.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/virtio/virtio_debug.c virtio_features_clear_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 0-127
DATA_SOURCE 0 bit $1
USER_DATA 0 bit 0-127
LOCK2 &attr->mutex
TYPE_LOCK (struct simple_attr)->mutex

drivers/virtio/virtio_debug.c virtio_features_set_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 0-127
DATA_SOURCE 0 bit $1
USER_DATA 0 bit 0-127
LOCK2 &attr->mutex
TYPE_LOCK (struct simple_attr)->mutex

drivers/virtio/virtio_debug.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 0-127
DATA_SOURCE 0 bit $1
FUZZY_MAX 0 bit 127
HARD_MAX 0 bit 127
RX_PATH
TASK_NOT_RUNNING
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

net/vmw_vsock/virtio_transport.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/crypto/virtio/virtio_crypto_core.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/virtio/virtio_balloon.c virtio_features_clear_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 4-5,28,33
DATA_SOURCE 0 bit $1
HARD_MAX 0 bit 33
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_balloon.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/bluetooth/virtio_bt.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/virtio/virtio_mmio.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 32,38
DATA_SOURCE 0 bit $1
HARD_MAX 0 bit 38
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_pci_modern.c virtio_features_set_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 37,40-41
DATA_SOURCE 0 bit $1
HARD_MAX 0 bit 41
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_pci_modern.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/virtio/virtgpu_kms.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/vhost/vsock.c vhost_features_u64() -> virtio_features_chk_bit()

Type Parameter Key Value

drivers/char/virtio_console.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING

drivers/rpmsg/virtio_rpmsg_bus.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

sound/virtio/virtio_card.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/block/virtio_blk.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/gpu/drm/virtio/virtgpu_object.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/virtio/virtio.c virtio_features_set_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 0-127
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING

drivers/i2c/busses/i2c-virtio.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/virtio/virtio_vdpa.c virtio_features_clear_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 38
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &the_virtio_vsock_mutex

drivers/virtio/virtio_vdpa.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING

drivers/net/virtio_net.c virtio_features_clear_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 3,62
DATA_SOURCE 0 bit $1
HARD_MAX 0 bit 62
RX_PATH
TASK_NOT_RUNNING

drivers/net/virtio_net.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/vhost/scsi.c vhost_features_u64() -> virtio_features_chk_bit()

Type Parameter Key Value

drivers/vhost/scsi.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
PARAM_VALUE 0 bit 1,3,26
DATA_SOURCE 0 bit $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tpg->tv_tpg_mutex
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 &vs->dev.mutex

drivers/spi/spi-virtio.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1

drivers/virtio/virtio_input.c virtio_features_test_bit() -> virtio_features_chk_bit()

Type Parameter Key Value
CAPPED_DATA 0 bit 1
DATA_SOURCE 0 bit $1