Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/xen/gntdev.c gntdev_mmap() -> gntdev_map_grant_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->flags | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | map->in_use.counter | 0-s32max |
| PARAM_VALUE | 0 | map->notifier.ops->invalidate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | map->notifier.ops->invalidate_finish | 0,2193403108630056960 |
| PARAM_VALUE | 0 | map->notifier.ops->invalidate_start | 0,7606346720449052672 |
| CAPPED_DATA | 0 | map->index | 1 |
| DATA_SOURCE | 0 | map | r gntdev_find_map_index |
| FUZZY_MAX | 0 | map->flags | 2 |
| NOSPEC | 0 | map->notifier.interval_tree.start | |
| NOSPEC | 0 | map->pages_vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | map->notifier.interval_tree.__subtree_last | 0-u64max[c] |
| USER_DATA | 0 | map->notifier.interval_tree.start | 0-u64max |
| USER_DATA | 0 | map->pages_vm_start | 0-18446744073709547520 |
| HALF_LOCKED2 | &ipcp->lock |
drivers/xen/gntdev-dmabuf.c dmabuf_exp_from_refs() -> gntdev_map_grant_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->being_removed | 16,4096-ptr_max |
| PARAM_VALUE | 0 | map->count | 1-65536 |
| PARAM_VALUE | 0 | map->flags | 0-s32max |
| PARAM_VALUE | 0 | map->grants | 4096-ptr_max |
| PARAM_VALUE | 0 | map->map_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | map->next.next | 4096-ptr_max |
| PARAM_VALUE | 0 | map->pages | 16,4096-ptr_max |
| PARAM_VALUE | 0 | map->unmap_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | map->users.refs.counter | 1 |
| PARAM_VALUE | 0 | *map->pages | 4096-ptr_max |
| BUF_SIZE | 0 | map | 496 |
| CAPPED_DATA | 0 | map->count | 1 |
| DATA_SOURCE | 0 | map | r dmabuf_exp_alloc_backing_storage |
| BIT_INFO | 0 | map->flags | 0x3,0x7fffffff |
| NOSPEC | 0 | map->count | |
| USER_DATA | 0 | map->count | 2-65536[c] |
| USER_DATA | 0 | map->dma_flags | s32min-s32max |
| NO_OVERFLOW_SIMPLE | 0 | map->count |