Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/rdma_core.c alloc_begin_fd_uobject() -> alloc_uobj()
| 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 | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 0 | attrs->ucore.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 0 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 0 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | obj | 4096-ptr_max |
| PARAM_VALUE | 1 | obj->type_class | 4096-ptr_max |
| BUF_SIZE | 0 | attrs->ufile | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | attrs->ufile | 1 |
| DATA_SOURCE | 0 | attrs | $1 |
| DATA_SOURCE | 1 | obj | $0 |
| NOSPEC | 0 | attrs->ucore.inlen | |
| 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-524280,18446744073709551608-u64max[c] |
| USER_DATA | 0 | attrs->ucore.outlen | 0-524280 |
| LOCK2 | &ufile->hw_destroy_rwsem | ||
| HALF_LOCKED2 | &ufile->device->disassociate_srcu | ||
| HALF_LOCKED2 | 0 | &attrs->ufile->hw_destroy_rwsem | |
| TYPE_LOCK | (struct ib_uverbs_file)->hw_destroy_rwsem |
drivers/infiniband/core/rdma_core.c alloc_begin_idr_uobject() -> alloc_uobj()
| 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 | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 0 | attrs->ucore.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 0 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 0 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | obj | 4096-ptr_max |
| PARAM_VALUE | 1 | obj->type_class | 4096-ptr_max |
| BUF_SIZE | 0 | attrs->ufile | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | attrs->ufile | 1 |
| DATA_SOURCE | 0 | attrs | $1 |
| DATA_SOURCE | 1 | obj | $0 |
| NOSPEC | 0 | attrs->ucore.inlen | |
| 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-524280,18446744073709551608-u64max[c] |
| USER_DATA | 0 | attrs->ucore.outlen | 0-524280 |
| LOCK2 | &ufile->hw_destroy_rwsem | ||
| HALF_LOCKED2 | &ufile->device->disassociate_srcu | ||
| HALF_LOCKED2 | 0 | &attrs->ufile->hw_destroy_rwsem | |
| TYPE_LOCK | (struct ib_uverbs_file)->hw_destroy_rwsem |