Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/file.c fuse_file_release() -> fuse_prepare_release()

Type Parameter Key Value
PARAM_VALUE 0 fi 4096-ptr_max
PARAM_VALUE 1 ff 4096-ptr_max
PARAM_VALUE 3 opcode 18,29
PARAM_VALUE 4 sync 0
BUF_SIZE 1 ff (-1),26,232
BUF_SIZE 1 ff (-1),26,232
DATA_SOURCE 0 fi r get_fuse_inode
DATA_SOURCE 1 ff $1
DATA_SOURCE 2 flags $2
FUZZY_MAX 3 opcode 29
BIT_INFO 3 opcode 0x10,0x1f
HARD_MAX 3 opcode 29
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fuse/file.c fuse_sync_release() -> fuse_prepare_release()

Type Parameter Key Value
PARAM_VALUE 0 fi 0,4096-ptr_max
PARAM_VALUE 1 ff 4096-ptr_max
PARAM_VALUE 3 opcode 18
PARAM_VALUE 4 sync 1
BUF_SIZE 1 ff (-1),26,232
BUF_SIZE 1 ff (-1),26,232
BUF_SIZE 1 ff->fm (-1),1-s32max
DATA_SOURCE 0 fi $0
DATA_SOURCE 1 ff $1
DATA_SOURCE 2 flags $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 flags 0-u32max