Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/vdpa/pds/vdpa_dev.c vp_modern_set_features() -> virtio_features_from_u64()

Type Parameter Key Value
PARAM_VALUE 0 features 2820298325716721664
BUF_SIZE 0 features 16
DATA_SOURCE 1 from $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 from 0-u64max[c]
LOCK2 &vdpa_dev->cf_lock
HALF_LOCKED2 &d->mutex
TYPE_LOCK (struct vdpa_device)->cf_lock

drivers/vhost/net.c vhost_net_ioctl() -> virtio_features_from_u64()

Type Parameter Key Value
PARAM_VALUE 0 features 7569705068722741248
BUF_SIZE 0 features 16
NOCHECK_CALL
USER_DATA 1 from 0-u64max

drivers/vdpa/virtio_pci/vp_vdpa.c vp_modern_set_features() -> virtio_features_from_u64()

Type Parameter Key Value
PARAM_VALUE 0 features 6147542192451092480
BUF_SIZE 0 features 16
DATA_SOURCE 1 from $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 from 0-u64max
LOCK2 &vdpa->cf_lock
HALF_LOCKED2 &d->mutex
TYPE_LOCK (struct vdpa_device)->cf_lock

drivers/virtio/virtio_debug.c virtio_get_features() -> virtio_features_from_u64()

Type Parameter Key Value
PARAM_VALUE 0 features 2225163803325947904
BUF_SIZE 0 features 16
BUF_SIZE 0 features 16
DATA_SOURCE 0 features $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 from 0-u64max
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock

drivers/virtio/virtio.c virtio_dev_probe() -> virtio_features_from_u64()

Type Parameter Key Value
BUF_SIZE 0 features 16
CAPPED_DATA 1 from 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio.c virtio_get_features() -> virtio_features_from_u64()

Type Parameter Key Value
PARAM_VALUE 0 features 4534496434731745280
BUF_SIZE 0 features 16
BUF_SIZE 0 features 16
DATA_SOURCE 0 features $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 from 0-u64max