Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dlm/user.c device_user_unlock() -> dlm_user_unlock()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_count.counter s32min-s32max
PARAM_VALUE 1 ua_tmp 4096-ptr_max
PARAM_VALUE 1 ua_tmp->proc 4096-ptr_max
PARAM_VALUE 1 ua_tmp->proc->lockspace 4096-ptr_max
BUF_SIZE 0 ls (-1),8,128,1560
BUF_SIZE 0 ls (-1),8,128,1560
BUF_SIZE 1 ua_tmp 80
BUF_SIZE 1 ua_tmp->proc s32min-(-2),1-s32max
BUF_SIZE 4 lvb_in 32
DATA_SOURCE 1 ua_tmp r _kzalloc_noprof
BIT_INFO 2 flags 0x0,0xfffffffd
USER_DATA 2 flags 0-u32max[u]
USER_DATA 3 lkid 0-u32max[u]