Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 (-1),920
BUF_SIZE 0 batch (-1),920
DATA_SOURCE 0 batch $0
NOCHECK_CALL

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

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

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

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