Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/xen/gntdev.c gntdev_alloc_map() -> gntdev_free_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->being_removed | 0-18446744073709551614 |
| PARAM_VALUE | 0 | map->grants | 0-18446744073709551614 |
| PARAM_VALUE | 0 | map->map_ops | 0-18446744073709551614 |
| PARAM_VALUE | 0 | map->pages | 0-18446744073709551614 |
| PARAM_VALUE | 0 | map->unmap_ops | 0-18446744073709551614 |
| BUF_SIZE | 0 | map | 496 |
| BUF_SIZE | 0 | map->being_removed | 1-65536 |
| BUF_SIZE | 0 | map->frames | 8-524288,u64max |
| BUF_SIZE | 0 | map->grants | 8-524288 |
| BUF_SIZE | 0 | map->kmap_ops | 32-2097152,u64max |
| BUF_SIZE | 0 | map->kunmap_ops | 24-1572864,u64max |
| BUF_SIZE | 0 | map->map_ops | 32-2097152 |
| BUF_SIZE | 0 | map->pages | 8-524288 |
| BUF_SIZE | 0 | map->unmap_ops | 24-1572864 |
| DATA_SOURCE | 0 | map | r _kzalloc_noprof |
| NOCHECK_CALL | |||
| USER_DATA | 0 | map->dma_flags | s32min-s32max |
drivers/xen/gntdev.c gntdev_put_map() -> gntdev_free_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| 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 |
| BUF_SIZE | 0 | map | (-1),1-s32max |
| BUF_SIZE | 0 | map | (-1),1-s32max |
| DATA_SOURCE | 0 | map | $1 |
| NOSPEC | 0 | map->count | |
| NOSPEC | 0 | map->notifier.interval_tree.start | |
| NOSPEC | 0 | map->pages_vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | map->count | 2-65536[c] |
| USER_DATA | 0 | map->dma_flags | s32min-s32max |
| USER_DATA | 0 | map->grants->domid | 0-u32max |
| USER_DATA | 0 | map->grants->ref | 0-u32max |
| 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 |
| NO_OVERFLOW_SIMPLE | 0 | map->count | |
| UNITS | 0 | map | unit_byte |
| USER_PTR | 0 | map->grants | |
| HALF_LOCKED2 | &priv->lock |