Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/infiniband/core/rdma_core.c, line 1041
- drivers/infiniband/core/uverbs_ioctl.c
- drivers/infiniband/core/uverbs_main.c, line 623
- drivers/infiniband/core/uverbs_std_types_device.c, line 46
Smatch caller information:
drivers/infiniband/core/uverbs_std_types_device.c ib_uverbs_handler_UVERBS_METHOD_INVOKE_WRITE() -> uverbs_finalize_object()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | access | 2 |
| PARAM_VALUE | 2 | hw_obj_valid | 1 |
| PARAM_VALUE | 4 | attrs | 4096-ptr_max |
| PARAM_VALUE | 4 | attrs->ucore.inlen | 0-u16max |
| PARAM_VALUE | 4 | attrs->ucore.outlen | 0-u16max |
| PARAM_VALUE | 4 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 4 | attrs->ufile->device | 4096-ptr_max |
| BUF_SIZE | 0 | uobj | 0 |
| DATA_SOURCE | 4 | attrs | $0 |
| BIT_INFO | 0 | uobj | 0x0,0x0 |
| NOCHECK_CALL |
drivers/infiniband/core/uverbs_ioctl.c bundle_destroy() -> uverbs_finalize_object()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 4 | attrs | 4096-ptr_max |
| PARAM_VALUE | 4 | attrs->attrs | 4096-ptr_max |
| PARAM_VALUE | 4 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 4 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| DATA_SOURCE | 3 | commit | $1 |
| NOCHECK_CALL | |||
| LOCK2 | &ufile->device->disassociate_srcu | ||
| TYPE_LOCK | (struct ib_uverbs_device)->disassociate_srcu |
drivers/infiniband/core/uverbs_ioctl.c uverbs_free_idrs_array() -> uverbs_finalize_object()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | hw_obj_valid | 0 |
| PARAM_VALUE | 4 | attrs | 4096-ptr_max |
| PARAM_VALUE | 4 | attrs->attrs | 4096-ptr_max |
| PARAM_VALUE | 4 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 4 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| DATA_SOURCE | 3 | commit | $2 |
| DATA_SOURCE | 4 | attrs | $3 |
| NOCHECK_CALL | |||
| LOCK2 | &ufile->device->disassociate_srcu | ||
| TYPE_LOCK | (struct ib_uverbs_device)->disassociate_srcu |
drivers/infiniband/core/uverbs_main.c ib_uverbs_write() -> uverbs_finalize_object()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | access | 2 |
| PARAM_VALUE | 2 | hw_obj_valid | 1 |
| PARAM_VALUE | 4 | attrs | 8498478768847593472 |
| PARAM_VALUE | 4 | attrs->context | 0 |
| PARAM_VALUE | 4 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 4 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 4 | attrs->ucore.inlen | 0-524280,18446744073709551608-u64max |
| PARAM_VALUE | 4 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 4 | attrs->ufile | 4096-ptr_max |
| BUF_SIZE | 0 | uobj | 0 |
| BIT_INFO | 0 | uobj | 0x0,0x0 |
| NOCHECK_CALL | |||
| USER_DATA | 4 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 4 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 4 | attrs->ucore.inlen | 0-524280,18446744073709551608-u64max |
| USER_DATA | 4 | attrs->ucore.outlen | 0-524280 |
| LOCK2 | &file->device->disassociate_srcu | ||
| TYPE_LOCK | (struct ib_uverbs_device)->disassociate_srcu |