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_lock() -> dlm_user_convert()

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->castaddr 1-u64max
PARAM_VALUE 1 ua_tmp->proc 4096-ptr_max
PARAM_VALUE 1 ua_tmp->proc->lockspace 4096-ptr_max
PARAM_VALUE 1 ua_tmp->user_lksb 1-u64max
PARAM_VALUE 3 flags 4-u32max
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 5 lvb_in 32
DATA_SOURCE 1 ua_tmp r _kzalloc_noprof
BIT_INFO 3 flags 0x4,0xffffffff
USER_DATA 1 ua_tmp->xid 0-u64max[u]
USER_DATA 2 mode 0-255[u]
USER_DATA 3 flags 4-u32max[u]
USER_DATA 4 lkid 0-u32max[u]