Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
- drivers/infiniband/core/uverbs_cmd.c, line 285
- drivers/infiniband/core/uverbs_std_types_device.c, line 270
Smatch caller information:
drivers/infiniband/core/uverbs_std_types_device.c ib_uverbs_handler_UVERBS_METHOD_GET_CONTEXT() -> ib_alloc_ucontext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | attrs | 4096-ptr_max |
| PARAM_VALUE | 0 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 0 | attrs->ufile->device->ib_dev | 4096-ptr_max |
| DATA_SOURCE | 0 | attrs | $0 |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_get_context() -> ib_alloc_ucontext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | attrs | 4096-ptr_max |
| PARAM_VALUE | 0 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 0 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 0 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 0 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 0 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | attrs->uobject | 0 |
| CAPPED_DATA | 0 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 0 | attrs | $0 |
| USER_DATA | 0 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 0 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 0 | attrs->ucore.inlen | 4-120[c] |
| USER_DATA | 0 | attrs->ucore.outlen | 0-524280 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |