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_request()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_count.counter s32min-s32max
PARAM_VALUE 1 ua 4096-ptr_max
PARAM_VALUE 1 ua->castaddr 1-u64max
PARAM_VALUE 1 ua->proc 4096-ptr_max
PARAM_VALUE 1 ua->proc->lockspace 4096-ptr_max
PARAM_VALUE 1 ua->user_lksb 1-u64max
BUF_SIZE 0 ls (-1),8,128,1560
BUF_SIZE 0 ls (-1),8,128,1560
BUF_SIZE 1 ua 80
BUF_SIZE 1 ua->proc s32min-(-2),1-s32max
DATA_SOURCE 1 ua r _kzalloc_noprof
BIT_INFO 3 flags 0x0,0xffffbffb
USER_DATA 1 ua->xid 0-u64max[u]
USER_DATA 2 mode 0-255[u]
USER_DATA 3 flags 0-u32max[u]
USER_DATA 5 namelen 0-255[u]