Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->vring.desc 4096-ptr_max
PARAM_VALUE 1 up_next 6981352542957600768
PARAM_VALUE 1 *up_next 1-u16max
PARAM_VALUE 2 descs 6279682461384073216
PARAM_VALUE 2 *descs 4096-ptr_max
PARAM_VALUE 3 desc_max 4294492309394345984
PARAM_VALUE 3 *desc_max 0-s32max
DATA_SOURCE 0 vrh $0
HOST_DATA 1 *up_next 1-u16max
HOST_DATA 3 *desc_max 0-268435455
USER_DATA 1 *up_next 1-u16max
USER_DATA 3 *desc_max 0-268435455
USER_PTR 1 up_next
USER_PTR 3 desc_max