Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 1 used 3040718874046984192
PARAM_VALUE 1 used->id 0-u16max
PARAM_VALUE 2 num_used 1
PARAM_VALUE 3 putu16 3859178208467980288
PARAM_VALUE 4 putused 701972253081997312
DATA_SOURCE 0 vrh $0
HALF_LOCKED2 &ndev->reslock
HALF_LOCKED2 &vdpasim->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 1 used 3001972667164213248
PARAM_VALUE 1 used->id 0-u16max
PARAM_VALUE 2 num_used 1
PARAM_VALUE 3 putu16 2766091776196440064
PARAM_VALUE 4 putused 4537324425399848960
DATA_SOURCE 0 vrh $0

drivers/vhost/vringh.c vringh_complete_multi_user() -> __vringh_complete()

Type Parameter Key Value
PARAM_VALUE 3 putu16 8180406983830036480
PARAM_VALUE 4 putused 1264283273078980608
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 used $1
DATA_SOURCE 2 num_used $2

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

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 1 used 3064605266877403136
PARAM_VALUE 1 used->id 0-u16max
PARAM_VALUE 2 num_used 1
PARAM_VALUE 3 putu16 8180406983830036480
PARAM_VALUE 4 putused 1264283273078980608
DATA_SOURCE 0 vrh $0