Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/core/uverbs_cmd.c ib_uverbs_close_xrcd() -> __uobj_perform_destroy()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-u64max
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ucore.inlen 4-120
PARAM_VALUE 2 attrs->ucore.outlen 0-524280
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->ufile->device 4096-ptr_max
PARAM_VALUE 2 attrs->uobject 0
CAPPED_DATA 2 attrs->ucore.inlen 1
DATA_SOURCE 2 attrs $0
USER_DATA 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->ucore.inlen 4-120[c]
USER_DATA 2 attrs->ucore.outlen 0-524280
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/core/uverbs_cmd.c ib_uverbs_dealloc_mw() -> __uobj_perform_destroy()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-u64max
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ucore.inlen 4-120
PARAM_VALUE 2 attrs->ucore.outlen 0-524280
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->ufile->device 4096-ptr_max
PARAM_VALUE 2 attrs->uobject 0
CAPPED_DATA 2 attrs->ucore.inlen 1
DATA_SOURCE 2 attrs $0
USER_DATA 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->ucore.inlen 4-120[c]
USER_DATA 2 attrs->ucore.outlen 0-524280
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/core/uverbs_cmd.c ib_uverbs_dealloc_pd() -> __uobj_perform_destroy()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-u64max
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ucore.inlen 4-120
PARAM_VALUE 2 attrs->ucore.outlen 0-524280
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->ufile->device 4096-ptr_max
PARAM_VALUE 2 attrs->uobject 0
CAPPED_DATA 2 attrs->ucore.inlen 1
DATA_SOURCE 2 attrs $0
USER_DATA 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->ucore.inlen 4-120[c]
USER_DATA 2 attrs->ucore.outlen 0-524280
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/core/uverbs_cmd.c ib_uverbs_dereg_mr() -> __uobj_perform_destroy()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-u64max
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ucore.inlen 4-120
PARAM_VALUE 2 attrs->ucore.outlen 0-524280
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->ufile->device 4096-ptr_max
PARAM_VALUE 2 attrs->uobject 0
CAPPED_DATA 2 attrs->ucore.inlen 1
DATA_SOURCE 2 attrs $0
USER_DATA 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->ucore.inlen 4-120[c]
USER_DATA 2 attrs->ucore.outlen 0-524280
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/core/uverbs_cmd.c ib_uverbs_destroy_ah() -> __uobj_perform_destroy()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-u64max
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ucore.inlen 4-120
PARAM_VALUE 2 attrs->ucore.outlen 0-524280
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->ufile->device 4096-ptr_max
PARAM_VALUE 2 attrs->uobject 0
CAPPED_DATA 2 attrs->ucore.inlen 1
DATA_SOURCE 2 attrs $0
USER_DATA 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->ucore.inlen 4-120[c]
USER_DATA 2 attrs->ucore.outlen 0-524280
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/core/uverbs_cmd.c ib_uverbs_ex_destroy_flow() -> __uobj_perform_destroy()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-u64max
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ucore.inlen 4-120
PARAM_VALUE 2 attrs->ucore.outlen 0-524280
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->ufile->device 4096-ptr_max
PARAM_VALUE 2 attrs->uobject 0
CAPPED_DATA 2 attrs->ucore.inlen 1
DATA_SOURCE 2 attrs $0
USER_DATA 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->ucore.inlen 4-120[c]
USER_DATA 2 attrs->ucore.outlen 0-524280
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/core/uverbs_cmd.c ib_uverbs_ex_destroy_rwq_ind_table() -> __uobj_perform_destroy()

Type Parameter Key Value
PARAM_VALUE 0 obj 1-u64max
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 attrs->ucore.inlen 4-120
PARAM_VALUE 2 attrs->ucore.outlen 0-524280
PARAM_VALUE 2 attrs->ufile 4096-ptr_max
PARAM_VALUE 2 attrs->ufile->device 4096-ptr_max
PARAM_VALUE 2 attrs->uobject 0
CAPPED_DATA 2 attrs->ucore.inlen 1
DATA_SOURCE 2 attrs $0
USER_DATA 2 attrs->driver_udata.inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->driver_udata.outlen 0-524280,18446744073709551361-u64max
USER_DATA 2 attrs->ucore.inlen 4-120[c]
USER_DATA 2 attrs->ucore.outlen 0-524280
HALF_LOCKED2 &file->device->disassociate_srcu