Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/uverbs_cmd.c __uverbs_create_xsrq() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->ucore.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | uobj->user_handle | 0-u64max |
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| 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 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/core/uverbs_cmd.c create_cq() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| 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-u32max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| CAPPED_DATA | 1 | attrs->driver_udata.inlen | 1 |
| CAPPED_DATA | 1 | attrs->driver_udata.outlen | 1 |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->driver_udata.inlen | |
| NOSPEC | 1 | attrs->driver_udata.outlen | |
| NOSPEC | 1 | attrs->ucore.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | uobj->user_handle | 0-u64max |
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max[c] |
| USER_DATA | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max[c] |
| USER_DATA | 1 | attrs->ucore.inlen | 4-120[c] |
| USER_DATA | 1 | attrs->ucore.outlen | 0-524280 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_alloc_mw() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->context | 1-u64max |
| PARAM_VALUE | 0 | uobj->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | uobj->uapi_object | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_attrs | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_class | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->usecnt.counter | (-1) |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| BUF_SIZE | 0 | uobj | s32min-s32max |
| CAPPED_DATA | 1 | attrs->driver_udata.inlen | 1 |
| CAPPED_DATA | 1 | attrs->driver_udata.outlen | 1 |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 0 | uobj | r __uobj_alloc |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->driver_udata.inlen | |
| NOSPEC | 1 | attrs->driver_udata.outlen | |
| NOSPEC | 1 | attrs->ucore.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max[c] |
| USER_DATA | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max[c] |
| USER_DATA | 1 | attrs->ucore.inlen | 4-120[c] |
| USER_DATA | 1 | attrs->ucore.outlen | 0-524280 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_alloc_pd() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->context | 1-u64max |
| PARAM_VALUE | 0 | uobj->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | uobj->uapi_object | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_attrs | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_class | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->usecnt.counter | (-1) |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| BUF_SIZE | 0 | uobj | s32min-s32max |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 0 | uobj | r __uobj_alloc |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->ucore.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| 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 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_create_ah() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->context | 1-u64max |
| PARAM_VALUE | 0 | uobj->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | uobj->uapi_object | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_attrs | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_class | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->usecnt.counter | (-1) |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| BUF_SIZE | 0 | uobj | s32min-s32max |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 0 | uobj | r __uobj_alloc |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->ucore.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| 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 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_ex_create_flow() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->context | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->context->device | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | uobj->uapi_object | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_attrs | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_class | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->usecnt.counter | (-1) |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 24-524280,18446744073709551608-u64max |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device->disassociate_srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->device->disassociate_srcu.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device->ib_dev | 1-u64max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->ucontext | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| BUF_SIZE | 0 | uobj | s32min-s32max |
| CAPPED_DATA | 1 | attrs->driver_udata.inlen | 1 |
| CAPPED_DATA | 1 | attrs->ufile->device->disassociate_srcu.srcu_ctrp | 1 |
| DATA_SOURCE | 0 | uobj | r __uobj_alloc |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->driver_udata.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max[c] |
| USER_DATA | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 1 | attrs->ucore.inlen | 24-524280,18446744073709551608-u64max |
| USER_DATA | 1 | attrs->ucore.outlen | 0-524280 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_ex_create_rwq_ind_table() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->context | 1-u64max |
| PARAM_VALUE | 0 | uobj->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->object | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | uobj->uapi_object | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_attrs | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_class | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->usecnt.counter | (-1) |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 8-524280,18446744073709551608-u64max |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| BUF_SIZE | 0 | uobj | s32min-s32max |
| BUF_SIZE | 0 | uobj->object | s32min-s32max |
| CAPPED_DATA | 1 | attrs->driver_udata.inlen | 1 |
| CAPPED_DATA | 1 | attrs->driver_udata.outlen | 1 |
| DATA_SOURCE | 0 | uobj | r __uobj_alloc |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->driver_udata.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max[c] |
| USER_DATA | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max[c] |
| USER_DATA | 1 | attrs->ucore.inlen | 8-524280,18446744073709551608-u64max |
| USER_DATA | 1 | attrs->ucore.outlen | 0-524280 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_ex_create_wq() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| CAPPED_DATA | 1 | attrs->driver_udata.inlen | 1 |
| CAPPED_DATA | 1 | attrs->driver_udata.outlen | 1 |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->driver_udata.inlen | |
| NOSPEC | 1 | attrs->driver_udata.outlen | |
| NOSPEC | 1 | attrs->ucore.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | uobj->user_handle | 0-u64max |
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max[c] |
| USER_DATA | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max[c] |
| USER_DATA | 1 | attrs->ucore.inlen | 4-120[c] |
| USER_DATA | 1 | attrs->ucore.outlen | 0-524280 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_open_qp() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->ucore.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| 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 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_open_xrcd() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->object | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device->xrcd_tree_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->device->xrcd_tree_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | attrs->ufile->device->xrcd_tree_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | attrs->ufile->device->xrcd_tree_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->device->xrcd_tree_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | attrs->ufile->device->xrcd_tree_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->ucore.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| 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 |
| LOCK2 | &ibudev->xrcd_tree_mutex | ||
| HALF_LOCKED2 | &file->device->disassociate_srcu | ||
| TYPE_LOCK | (struct ib_uverbs_device)->xrcd_tree_mutex |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_reg_mr() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->context | 1-u64max |
| PARAM_VALUE | 0 | uobj->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | uobj->uapi_object | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_attrs | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_class | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->usecnt.counter | (-1) |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| BUF_SIZE | 0 | uobj | s32min-s32max |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 0 | uobj | r __uobj_alloc |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->ucore.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| 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 |
| HALF_LOCKED2 | &file->device->disassociate_srcu |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_rereg_mr() -> uobj_alloc_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->context | 1-u64max |
| PARAM_VALUE | 0 | uobj->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | uobj->uapi_object | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_attrs | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_class | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->uapi_object->type_class->alloc_commit | 4241073990159572992,4688499253646393344 |
| PARAM_VALUE | 0 | uobj->ufile | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 0 | uobj->usecnt.counter | (-1) |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 1 | attrs->ucore.inlen | 4-120 |
| PARAM_VALUE | 1 | attrs->ucore.outlen | 0-524280 |
| PARAM_VALUE | 1 | attrs->ufile | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->device | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 1 | attrs->ufile->hw_destroy_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | attrs->ufile->idr.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| BUF_SIZE | 0 | uobj | s32min-s32max |
| CAPPED_DATA | 0 | uobj->uapi_object | 1 |
| CAPPED_DATA | 1 | attrs->driver_udata.inlen | 1 |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| CAPPED_DATA | 1 | attrs->ucore.outlen | 1 |
| DATA_SOURCE | 0 | uobj | r __uobj_alloc |
| DATA_SOURCE | 1 | attrs | $0 |
| NOSPEC | 1 | attrs->driver_udata.inlen | |
| NOSPEC | 1 | attrs->ucore.inlen | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max[c] |
| 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[c] |
| HALF_LOCKED2 | &file->device->disassociate_srcu |