Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/coda/inode.c coda_parse_fd() -> coda_set_idx()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 fc->cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 fc->ops 4096-ptr_max
PARAM_VALUE 0 fc->ops->parse_monolithic 0,634968867006672896,1923336409103024128,2935546142322450432,5537387387394355200,6031079647331782656,7045259487304556544
PARAM_VALUE 0 fc->ops->parse_param 4096-ptr_max
PARAM_VALUE 1 file 4096-ptr_max
BUF_SIZE 0 fc s32min-(-1),1-s32max
BUF_SIZE 0 fc s32min-(-1),1-s32max
CAPPED_DATA 1 file 1
DATA_SOURCE 0 fc $0
STR_LEN 0 fc (-1),3-4,6-7
STR_LEN 0 fc (-1),3-4,6-7
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fc->sb_flags 0-u32max[c]
USER_DATA 0 *fc->source 0-255
HALF_LOCKED2 0 &fc->uapi_mutex

fs/coda/inode.c coda_parse_monolithic() -> coda_set_idx()

Type Parameter Key Value
PARAM_VALUE 0 fc 4096-ptr_max
PARAM_VALUE 0 fc->ops 4096-ptr_max
PARAM_VALUE 0 fc->ops->parse_monolithic 0,634968867006672896,1923336409103024128,2935546142322450432,5537387387394355200,6031079647331782656,7045259487304556544
PARAM_VALUE 1 file 4096-ptr_max
BUF_SIZE 0 fc 280
CAPPED_DATA 1 file 1
DATA_SOURCE 0 fc $0
DATA_SOURCE 1 file r fget
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 fc->sb_flags 0-u32max[c]
HALF_LOCKED2 &sb->s_umount