Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4proc.c nfs4_retry_setlk() -> nfs4_proc_setlk()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->inode 4096-ptr_max
PARAM_VALUE 0 state->inode->i_sb 4096-ptr_max
PARAM_VALUE 2 request 4096-ptr_max
DATA_SOURCE 0 state $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 request $2

fs/nfs/nfs4proc.c nfs4_retry_setlk_simple() -> nfs4_proc_setlk()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->inode 4096-ptr_max
PARAM_VALUE 0 state->inode->i_sb 4096-ptr_max
PARAM_VALUE 1 cmd 6-7,1029
PARAM_VALUE 2 request 4096-ptr_max
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
PARAM_VALUE 2 request->fl_ops->fl_copy_lock 67636532917895168,1613550966771412992,4094200782078414848,8793117865022787584
PARAM_VALUE 2 request->fl_ops->fl_release_private 392013657116258304,2660890378042843136,4364947055673008128,7742426382536392704
PARAM_VALUE 2 request->fl_u.nfs4_fl.owner->ls_seqid.flags 0-s32max
BUF_SIZE 2 request (-1),1-s32max
BUF_SIZE 2 request (-1),1-s32max
BUF_SIZE 2 request->c.flc_file (-1),1-s32max
BUF_SIZE 2 request->c.flc_owner (-1),1-s32max
BUF_SIZE 2 request->fl_lmops (-1),56
DATA_SOURCE 0 state $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 request $2
BIT_INFO 1 cmd 0x4,0x7ff
NOSPEC 2 request->fl_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 cmd 7
USER_DATA 2 request->c.flc_type 0-1
USER_DATA 2 request->fl_start s64min-s64max[c]