Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/gntdev.c gntdev_grant_copy_seg() -> gntdev_copy()

Type Parameter Key Value
PARAM_VALUE 0 batch 4096-ptr_max
PARAM_VALUE 0 batch->nr_ops 16-u32max
PARAM_VALUE 0 batch->nr_pages 0-66
PARAM_VALUE 0 batch->ops->status (-9),0
BUF_SIZE 0 batch (-1),920
BUF_SIZE 0 batch (-1),920
DATA_SOURCE 0 batch $0
FUZZY_MAX 0 batch->nr_pages 0

drivers/xen/gntdev.c gntdev_ioctl_grant_copy() -> gntdev_copy()

Type Parameter Key Value
PARAM_VALUE 0 batch 4096-ptr_max
PARAM_VALUE 0 batch->nr_ops 1-u32max
PARAM_VALUE 0 batch->ops->status (-9),0
BUF_SIZE 0 batch 920,u64max
BUF_SIZE 0 batch 920,u64max