Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/xen/gntdev.c gntdev_ioctl_grant_copy() -> gntdev_grant_copy_seg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | batch | 4096-ptr_max |
| PARAM_VALUE | 0 | batch->ops->status | (-9),0 |
| PARAM_VALUE | 1 | seg | 2176365340806987776 |
| PARAM_VALUE | 2 | status | 4096-ptr_max |
| BUF_SIZE | 0 | batch | 920,u64max |
| BUF_SIZE | 0 | batch | 920,u64max |
| USER_DATA | 1 | seg->dest.foreign.domid | 0-u16max |
| USER_DATA | 1 | seg->dest.foreign.offset | 0-u16max |
| USER_DATA | 1 | seg->dest.foreign.ref | 0-u32max |
| USER_DATA | 1 | seg->flags | 0-u16max |
| USER_DATA | 1 | seg->len | 0-u16max |
| USER_DATA | 1 | seg->source.foreign.domid | 0-u16max |
| USER_DATA | 1 | seg->source.foreign.offset | 0-u16max |
| USER_DATA | 1 | seg->source.foreign.ref | 0-u32max |
| USER_DATA | 1 | seg->status | s16min-s16max |