Defined in 1 files as a function:
Referenced in 6 files:
- drivers/block/xen-blkback/blkback.c, line 810
- drivers/net/xen-netback/netback.c, line 348
- drivers/xen/gntdev.c
- drivers/xen/xen-front-pgdir-shbuf.c, line 283
- drivers/xen/xen-scsiback.c, line 476
- drivers/xen/xenbus/xenbus_client.c, line 576
Smatch caller information:
drivers/block/xen-blkback/blkback.c xen_blkbk_map() -> gnttab_set_map_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | flags | 2,6 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 1 | addr | r pfn_to_kaddr |
| FUZZY_MAX | 2 | flags | 2 |
| BIT_INFO | 2 | flags | 0x2,0x6 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/xen/xen-scsiback.c scsiback_gnttab_data_map_list() -> gnttab_set_map_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | flags | 2,6 |
| DATA_SOURCE | 2 | flags | $5 |
| FUZZY_MAX | 2 | flags | 2 |
| BIT_INFO | 2 | flags | 0x2,0x7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
drivers/xen/gntdev.c find_grant_ptes() -> gnttab_set_map_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 0,65536-s32max |
| BIT_INFO | 2 | flags | 0x10018,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | ptl |
drivers/xen/gntdev.c gntdev_map_grant_pages() -> gnttab_set_map_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 18379471554275704832,18446612682070032384 |
| DATA_SOURCE | 1 | addr | r pfn_to_kaddr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/xen/gntdev.c gntdev_map_grant_pages() -> gnttab_set_map_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | flags | 0,2-s32max |
| DATA_SOURCE | 1 | addr | r pfn_to_kaddr |
| BIT_INFO | 2 | flags | 0x2,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/xen/xenbus/xenbus_client.c __xenbus_map_ring() -> gnttab_set_map_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 2 | flags | 2,18 |
| DATA_SOURCE | 2 | flags | $5 |
| HARD_MAX | 2 | flags | 18 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pdev->dev_lock | ||
| HALF_LOCKED2 | global &xenwatch_mutex |
drivers/xen/xen-front-pgdir-shbuf.c backend_map() -> gnttab_set_map_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | flags | 2 |
| DATA_SOURCE | 1 | addr | r pfn_to_kaddr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &evtchnl->u.req.req_io_lock | ||
| HALF_LOCKED2 | &dev->object_name_lock | ||
| HALF_LOCKED2 | &file_priv->prime.lock |
drivers/net/xen-netback/netback.c xenvif_tx_create_map_op() -> gnttab_set_map_op()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-u64max |
| PARAM_VALUE | 1 | addr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | flags | 6 |
| DATA_SOURCE | 0 | map | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |