Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/uverbs_cmd.c __uverbs_create_xsrq() -> uobj_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| 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_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| 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 create_qp() -> uobj_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| CAPPED_DATA | 1 | attrs->ucore.inlen | 1 |
| CAPPED_DATA | 1 | attrs->ufile->device->disassociate_srcu.srcu_ctrp | 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 ib_uverbs_alloc_mw() -> uobj_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| 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 |
| 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_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| BUF_SIZE | 0 | uobj | s32min-s32max |
| BUF_SIZE | 0 | uobj->object | 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_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs->uobject | 0 |
| BUF_SIZE | 0 | uobj | s32min-s32max |
| BUF_SIZE | 0 | uobj->object | 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 | 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 ib_uverbs_create_comp_channel() -> uobj_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| 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_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 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_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| 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_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| 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-64[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_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| 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 ib_uverbs_open_xrcd() -> uobj_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| 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_reg_mr() -> uobj_finalize_uobj_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uobj | 4096-ptr_max |
| PARAM_VALUE | 1 | attrs | 4096-ptr_max |
| 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 |