Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 bit 34
BUF_SIZE 0 features 16
DATA_SOURCE 1 bit $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 features 4096-ptr_max
PARAM_VALUE 1 bit 0
BUF_SIZE 0 features 16
DATA_SOURCE 1 bit $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 features 4096-ptr_max
PARAM_VALUE 1 bit 4-5,28,33
BUF_SIZE 0 features 16
DATA_SOURCE 1 bit $1
HARD_MAX 1 bit 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 features 4096-ptr_max
PARAM_VALUE 1 bit 3,62
BUF_SIZE 0 features 16
DATA_SOURCE 1 bit $1
HARD_MAX 1 bit 62
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL