Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/infiniband/core/umem.c, line 575 (as a function)
- include/rdma/ib_umem.h, line 214 (as a function)
Referenced in 3 files:
- drivers/infiniband/core/umem.c, line 584
- drivers/infiniband/hw/efa/efa_verbs.c, line 1192
- drivers/infiniband/hw/mlx4/cq.c, line 176
Smatch caller information:
drivers/infiniband/hw/efa/efa_verbs.c efa_create_user_cq() -> ib_umem_get_cq_buf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ops.size_ib_cq | 0-4000000 |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-64 |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device->num_comp_vectors | 1-4294967295 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | size | 0,4096-u32max |
| PARAM_VALUE | 3 | access | 1 |
| BUF_SIZE | 1 | attrs->ufile | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | attrs->ufile | 1 |
| DATA_SOURCE | 1 | attrs | $2 |
| BIT_INFO | 2 | size | 0x0,0xfffff000 |
| BIT_INFO | 2 | size | 0x0,0xfffff000 |
| NOSPEC | 1 | attrs->ucore.inlen | |
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-64 |
| USER_DATA | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 1 | attrs->ucore.inlen | 4-120[c] |
| USER_DATA | 1 | attrs->ucore.outlen | 0-524280 |
| USER_DATA | 2 | size | 0,4096-u32max[c] |
drivers/infiniband/hw/mlx4/cq.c mlx4_ib_create_user_cq() -> ib_umem_get_cq_buf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-64 |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device->num_comp_vectors | 1-4294967295 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | access | 1 |
| BUF_SIZE | 1 | attrs->ufile | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | attrs->ufile | 1 |
| DATA_SOURCE | 1 | attrs | $2 |
| NOSPEC | 1 | attrs->ucore.inlen | |
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-64 |
| USER_DATA | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 1 | attrs->ucore.inlen | 4-120[c] |
| USER_DATA | 1 | attrs->ucore.outlen | 0-524280 |