Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4proc.c nfs4_proc_lock() -> nfs4_proc_unlck()

Type Parameter Key Value
PARAM_VALUE 0 state 1-u64max
PARAM_VALUE 1 cmd 6-7,1029
PARAM_VALUE 2 request 4096-ptr_max
PARAM_VALUE 2 request->c.flc_type 2
PARAM_VALUE 2 request->fl_lmops->lm_expire_lock 0,8135569178967285760
PARAM_VALUE 2 request->fl_lmops->lm_get_owner 601293288964460544,779917719904358400
PARAM_VALUE 2 request->fl_lmops->lm_grant 0,6755173835644108800
PARAM_VALUE 2 request->fl_lmops->lm_lock_expirable 0,6876519118932000768
PARAM_VALUE 2 request->fl_lmops->lm_mod_owner 0
PARAM_VALUE 2 request->fl_lmops->lm_notify 7826183627361755136,8433928438555447296
PARAM_VALUE 2 request->fl_lmops->lm_put_owner 2080181080880410624,4520729263436308480
BUF_SIZE 2 request (-1)-s32max
BUF_SIZE 2 request (-1)-s32max
BUF_SIZE 2 request->c.flc_file (-1),1-s32max
BUF_SIZE 2 request->fl_lmops (-1),56
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 request $2
BIT_INFO 1 cmd 0x4,0x407
NOSPEC 2 request->fl_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 cmd 7
USER_DATA 2 request->c.flc_type 2
USER_DATA 2 request->fl_start s64min-s64max[c]