Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vringh.c __vringh_iov() -> cpu_to_vringh32()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->iotlb_lock->rlock.dep_map->name 0-255
DATA_SOURCE 0 vrh $0
USER_DATA 1 val 0-u32max

drivers/vhost/vringh.c vringh_complete_iotlb() -> cpu_to_vringh32()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 val $1
HALF_LOCKED2 &ndev->reslock
HALF_LOCKED2 &vdpasim->mutex

drivers/vhost/vringh.c vringh_complete_iotlb() -> cpu_to_vringh32()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 val $2
HALF_LOCKED2 &ndev->reslock
HALF_LOCKED2 &vdpasim->mutex

drivers/vhost/vringh.c vringh_complete_kern() -> cpu_to_vringh32()

Type Parameter Key Value
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 val $1

drivers/vhost/vringh.c vringh_complete_kern() -> cpu_to_vringh32()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 val $2

drivers/vhost/vringh.c vringh_complete_user() -> cpu_to_vringh32()

Type Parameter Key Value
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 val $1

drivers/vhost/vringh.c vringh_complete_user() -> cpu_to_vringh32()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 val $2