Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/file.c fuse_file_put() -> fuse_release_end()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->opcode 18
PARAM_VALUE 1 error 0
BUF_SIZE 0 args 160
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fuse/file.c fuse_file_put() -> fuse_release_end()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->pid 0-s32max
PARAM_VALUE 1 error 0
BUF_SIZE 0 args 160
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fuse/file.c fuse_file_put() -> fuse_release_end()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->end 8401498703562784768
PARAM_VALUE 0 args->pid 0-s32max
PARAM_VALUE 1 error (-107)
BUF_SIZE 0 args 160
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fuse/dev.c fuse_request_end() -> (struct fuse_args)->end()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
CONTAINER 0 *(-128+0) $(-1)
CONTAINER 1 *(-128-32+4+0+96) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 args->nodeid 1-u64max[c]
USER_DATA 1 error s32min-s32max