Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/core/uverbs_ioctl.c ib_uverbs_cmd_verbs() -> bundle_destroy()

Type Parameter Key Value
PARAM_VALUE 0 pbundle 4096-ptr_max
PARAM_VALUE 0 pbundle->allocated_mem 0,4096-ptr_max
PARAM_VALUE 0 pbundle->bundle.context 0
PARAM_VALUE 0 pbundle->bundle.method_elm 4096-ptr_max
PARAM_VALUE 0 pbundle->bundle.ufile 4096-ptr_max
PARAM_VALUE 0 pbundle->bundle.ufile->device 4096-ptr_max
PARAM_VALUE 0 pbundle->internal_avail 0-65327,18446744073709551408-u64max
PARAM_VALUE 0 pbundle->internal_used 0,8-4080
PARAM_VALUE 0 pbundle->radix 4096-ptr_max
PARAM_VALUE 0 pbundle->radix_slots 4096-ptr_max
PARAM_VALUE 0 *pbundle->radix_slots 4096-ptr_max
BUF_SIZE 0 pbundle 0-u16max
BUF_SIZE 0 pbundle 0-u16max
BUF_SIZE 0 pbundle->bundle.ufile s32min-(-2),1-s32max
BUF_SIZE 0 pbundle->radix 88
BUF_SIZE 0 pbundle->radix_slots (-1),8
FUZZY_MAX 0 pbundle->internal_avail 256
BIT_INFO 0 pbundle->internal_used 0x0,0xfffffffffffffff8
BIT_INFO 0 pbundle->radix_slots_len 0x0,0x7fffffffffffffff
MEM_ZERO 0 pbundle->bundle.attr_present
MEM_ZERO 0 pbundle->spec_finalize
MEM_ZERO 0 pbundle->uobj_finalize
MEM_ZERO 0 pbundle->uobj_hw_obj_valid
NOCHECK_CALL
USER_DATA 0 pbundle->uattrs->attr_data.enum_data.elem_id 0-255
USER_DATA 0 pbundle->uattrs->attr_data.enum_data.reserved 0-255
USER_DATA 0 pbundle->uattrs->attr_data.reserved 0-u16max
USER_DATA 0 pbundle->uattrs->attr_id 0-u16max
USER_DATA 0 pbundle->uattrs->data 0-u64max
USER_DATA 0 pbundle->uattrs->data_s64 s64min-s64max
USER_DATA 0 pbundle->uattrs->flags 0-u16max
USER_DATA 0 pbundle->uattrs->len 0-u16max
USER_PTR 0 pbundle->uattrs
LOCK2 &ufile->device->disassociate_srcu
TYPE_LOCK (struct ib_uverbs_device)->disassociate_srcu